Skip to content

Actions: leanprover-community/leanprover-community.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,641 workflow runs
1,641 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1310: by leanprover-community-bot
November 26, 2024 04:09 38s
November 26, 2024 04:09 38s
deploy site deploy site #2924: Scheduled
November 26, 2024 04:01 8m 1s lean4
lean4
November 26, 2024 04:01 8m 1s
pages build and deployment pages-build-deployment #1309: by leanprover-community-bot
November 25, 2024 04:08 39s
November 25, 2024 04:08 39s
deploy site deploy site #2923: Scheduled
November 25, 2024 04:01 6m 52s lean4
lean4
November 25, 2024 04:01 6m 52s
pages build and deployment pages-build-deployment #1308: by leanprover-community-bot
November 24, 2024 23:13 43s
November 24, 2024 23:13 43s
update Lean Together 2025 link (#555) deploy site #2922: Commit 2a81a6d pushed by riccardobrasca
November 24, 2024 23:06 6m 46s lean4
lean4
November 24, 2024 23:06 6m 46s
update Lean Together 2025 link deploy site #2921: Commit a9f0e5b pushed by j-loreaux
November 24, 2024 22:38 7m 0s lt2025-events
lt2025-events
November 24, 2024 22:38 7m 0s
pages build and deployment pages-build-deployment #1307: by leanprover-community-bot
November 24, 2024 09:03 42s
November 24, 2024 09:03 42s
LT 2025 (#554) deploy site #2920: Commit fcb4f4f pushed by RemyDegenne
November 24, 2024 08:55 8m 1s lean4
lean4
November 24, 2024 08:55 8m 1s
deploy site deploy site #2919: Scheduled
November 24, 2024 04:01 7m 19s lean4
lean4
November 24, 2024 04:01 7m 19s
pages build and deployment pages-build-deployment #1306: by leanprover-community-bot
November 24, 2024 03:22 46s
November 24, 2024 03:22 46s
fix malformed yaml in courses.yaml deploy site #2918: Commit ce3ecec pushed by robertylewis
November 24, 2024 03:14 7m 34s lean4
lean4
November 24, 2024 03:14 7m 34s
deploy site deploy site #2917: Scheduled
November 23, 2024 04:01 1m 32s lean4
lean4
November 23, 2024 04:01 1m 32s
deploy site deploy site #2916: Scheduled
November 22, 2024 04:01 1m 25s lean4
lean4
November 22, 2024 04:01 1m 25s
pages build and deployment pages-build-deployment #1305: by leanprover-community-bot
November 21, 2024 14:12 42s
November 21, 2024 14:12 42s
add Lean course (#552) deploy site #2915: Commit 37cdd8f pushed by fpvandoorn
November 21, 2024 14:07 1m 24s lean4
lean4
November 21, 2024 14:07 1m 24s
leanprover.github.io -> lean-lang.org (#553) deploy site #2914: Commit 7049892 pushed by fpvandoorn
November 21, 2024 14:07 1m 21s lean4
lean4
November 21, 2024 14:07 1m 21s
Update courses.yaml (#548) deploy site #2913: Commit 8e4b8a5 pushed by fpvandoorn
November 21, 2024 14:07 1m 16s lean4
lean4
November 21, 2024 14:07 1m 16s
added course Formalisms Every Computer Scientist Should Know (#545) deploy site #2912: Commit ac03a1f pushed by fpvandoorn
November 21, 2024 14:06 1m 18s lean4
lean4
November 21, 2024 14:06 1m 18s
Added course at RWTH Aachen (#549) deploy site #2911: Commit edf54a3 pushed by fpvandoorn
November 21, 2024 14:05 6m 55s lean4
lean4
November 21, 2024 14:05 6m 55s
leanprover.github.io -> lean-lang.org check bib #17: Pull request #553 opened by fpvandoorn
November 21, 2024 14:04 40s lean-url
lean-url
November 21, 2024 14:04 40s
add Lean course this semester deploy site #2910: Commit db4774e pushed by fpvandoorn
November 21, 2024 13:42 6m 58s vandoorncourse24
vandoorncourse24
November 21, 2024 13:42 6m 58s
leanprover.github.io -> lean-lang.org deploy site #2909: Commit 83d1be0 pushed by fpvandoorn
November 21, 2024 13:34 7m 1s lean-url
lean-url
November 21, 2024 13:34 7m 1s
pages build and deployment pages-build-deployment #1304: by leanprover-community-bot
November 21, 2024 04:08 38s
November 21, 2024 04:08 38s
deploy site deploy site #2908: Scheduled
November 21, 2024 04:01 6m 52s lean4
lean4
November 21, 2024 04:01 6m 52s