Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1620: by leanprover-community-bot
July 12, 2025 04:17 41s master
master
July 12, 2025 04:17 41s
deploy site deploy site #3358: Scheduled
July 12, 2025 04:08 8m 22s lean4
lean4
July 12, 2025 04:08 8m 22s
pages build and deployment pages-build-deployment #1619: by leanprover-community-bot
July 11, 2025 04:19 35s master
master
July 11, 2025 04:19 35s
deploy site deploy site #3357: Scheduled
July 11, 2025 04:12 6m 57s lean4
lean4
July 11, 2025 04:12 6m 57s
pages build and deployment pages-build-deployment #1618: by leanprover-community-bot
July 10, 2025 20:45 39s master
master
July 10, 2025 20:45 39s
typo (#669) deploy site #3356: Commit 9a496ab pushed by adomani
July 10, 2025 20:38 6m 58s lean4
lean4
July 10, 2025 20:38 6m 58s
typo Message Zulip when a PR is opened #23: Pull request #669 opened by madvorak
July 10, 2025 20:14 11s
July 10, 2025 20:14 11s
pages build and deployment pages-build-deployment #1617: by leanprover-community-bot
July 10, 2025 04:15 40s master
master
July 10, 2025 04:15 40s
deploy site deploy site #3355: Scheduled
July 10, 2025 04:08 6m 55s lean4
lean4
July 10, 2025 04:08 6m 55s
pages build and deployment pages-build-deployment #1616: by leanprover-community-bot
July 9, 2025 04:17 39s master
master
July 9, 2025 04:17 39s
deploy site deploy site #3354: Scheduled
July 9, 2025 04:09 7m 52s lean4
lean4
July 9, 2025 04:09 7m 52s
pages build and deployment pages-build-deployment #1615: by leanprover-community-bot
July 8, 2025 04:14 36s master
master
July 8, 2025 04:14 36s
deploy site deploy site #3353: Scheduled
July 8, 2025 04:07 7m 6s lean4
lean4
July 8, 2025 04:07 7m 6s
pages build and deployment pages-build-deployment #1614: by leanprover-community-bot
July 7, 2025 04:17 40s master
master
July 7, 2025 04:17 40s
deploy site deploy site #3352: Scheduled
July 7, 2025 04:10 7m 9s lean4
lean4
July 7, 2025 04:10 7m 9s
pages build and deployment pages-build-deployment #1613: by leanprover-community-bot
July 6, 2025 04:17 38s master
master
July 6, 2025 04:17 38s
deploy site deploy site #3351: Scheduled
July 6, 2025 04:10 7m 13s lean4
lean4
July 6, 2025 04:10 7m 13s
pages build and deployment pages-build-deployment #1612: by leanprover-community-bot
July 5, 2025 17:59 49s master
master
July 5, 2025 17:59 49s
feat: add warning about default values of structure fields (#666) deploy site #3350: Commit d3ecdce pushed by bryangingechen
July 5, 2025 17:52 7m 11s lean4
lean4
July 5, 2025 17:52 7m 11s
pages build and deployment pages-build-deployment #1611: by leanprover-community-bot
July 5, 2025 16:05 40s master
master
July 5, 2025 16:05 40s
Fix link deploy site #3349: Commit 261bb75 pushed by PatrickMassot
July 5, 2025 15:58 7m 21s lean4
lean4
July 5, 2025 15:58 7m 21s
pages build and deployment pages-build-deployment #1610: by leanprover-community-bot
July 5, 2025 04:11 41s master
master
July 5, 2025 04:11 41s
deploy site deploy site #3348: Scheduled
July 5, 2025 04:04 7m 16s lean4
lean4
July 5, 2025 04:04 7m 16s
Update templates/extras/pitfalls.md deploy site #3347: Commit 3dabd70 pushed by kbuzzard
July 4, 2025 10:46 7m 10s kbuzzard-update-pitfalls
kbuzzard-update-pitfalls
July 4, 2025 10:46 7m 10s
Update templates/extras/pitfalls.md deploy site #3346: Commit aaf199e pushed by kbuzzard
July 4, 2025 10:44 7m 23s kbuzzard-update-pitfalls
kbuzzard-update-pitfalls
July 4, 2025 10:44 7m 23s