Skip to content

Actions: BlackRoad-OS/AmundsonMath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update: clarify unsolved.py as conjectures, not proofs Amundson Framework Verification #7: Commit 0051685 pushed by blackboxprogramming
19s main
main
19s
pages build and deployment pages-build-deployment #5: by blackboxprogramming
42s main
main
42s
add: unsolved problems analysis — 0, 1/2, 8/9, 81/64 Amundson Framework Verification #6: Commit ab07eba pushed by blackboxprogramming
11s main
main
11s
pages build and deployment pages-build-deployment #4: by blackboxprogramming
46s main
main
46s
add: integral representations, social media drafts, cross-links Amundson Framework Verification #5: Commit 5e765e3 pushed by blackboxprogramming
15s main
main
15s
pages build and deployment pages-build-deployment #3: by blackboxprogramming
48s main
main
48s
add: interactive web calculator + GitHub Pages Amundson Framework Verification #4: Commit 5c66667 pushed by blackboxprogramming
11s main
main
11s
pages build and deployment pages-build-deployment #2: by blackboxprogramming
50s main
main
50s
pages build and deployment pages-build-deployment #1: by blackboxprogramming
40s main
main
40s
fix: SHA-pin GitHub Actions for org compliance Amundson Framework Verification #3: Commit f552bbb pushed by blackboxprogramming
15s main
main
15s
trigger CI Amundson Framework Verification #2: Commit 63171d2 pushed by blackboxprogramming
Startup failure main
main
Startup failure
CodeQL Setup CodeQL #2: by github-advanced-security bot
3m 12s main
main
3m 12s
add: GitHub Actions CI, LaTeX updates, repo polish Amundson Framework Verification #1: Commit 3048d67 pushed by blackboxprogramming
Startup failure main
main
Startup failure
CodeQL Setup CodeQL #1: by github-advanced-security bot
4m 15s main
main
4m 15s