Skip to content

Actions: iamkhayyam/the-programme

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add Lean 4 formalisation of all 9 papers Deploy static content to Pages #10: Commit 40c2f3d pushed by iamkhayyam
39s main
main
39s
/papers sync Deploy static content to Pages #9: Commit d56e341 pushed by iamkhayyam
29s main
main
29s
Collatz Animations Deploy static content to Pages #8: Commit e430bb8 pushed by iamkhayyam
28s main
main
28s
Mobile Optimization Deploy static content to Pages #7: Commit b1c8b08 pushed by iamkhayyam
29s main
main
29s
UX Update Deploy static content to Pages #6: Commit 67b4694 pushed by iamkhayyam
26s main
main
26s
Mobile Menu Deploy static content to Pages #5: Commit 880157c pushed by iamkhayyam
26s main
main
26s
Update README.md Deploy static content to Pages #4: Commit 8c21605 pushed by iamkhayyam
31s main
main
31s
Update README.md Deploy static content to Pages #3: Commit 688227f pushed by iamkhayyam
31s main
main
31s
Update README.md Deploy static content to Pages #2: Commit 272c61d pushed by iamkhayyam
30s main
main
30s
Merge branch 'main' of https://github.com/iamkhayyam/the-programme Deploy static content to Pages #1: Commit 72fb8db pushed by iamkhayyam
30s main
main
30s
pages build and deployment pages-build-deployment #2: by iamkhayyam
Queued main
main
Queued
pages build and deployment pages-build-deployment #1: by iamkhayyam
38s main
main
38s