Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1227: by leanprover-community-bot
September 23, 2024 04:07 40s
September 23, 2024 04:07 40s
deploy site deploy site #2819: Scheduled
September 23, 2024 04:01 6m 9s lean4
lean4
September 23, 2024 04:01 6m 9s
pages build and deployment pages-build-deployment #1226: by leanprover-community-bot
September 22, 2024 04:08 45s
September 22, 2024 04:08 45s
deploy site deploy site #2818: Scheduled
September 22, 2024 04:01 6m 55s lean4
lean4
September 22, 2024 04:01 6m 55s
pages build and deployment pages-build-deployment #1225: by leanprover-community-bot
September 21, 2024 04:07 45s
September 21, 2024 04:07 45s
deploy site deploy site #2817: Scheduled
September 21, 2024 04:01 6m 5s lean4
lean4
September 21, 2024 04:01 6m 5s
pages build and deployment pages-build-deployment #1224: by leanprover-community-bot
September 20, 2024 04:08 37s
September 20, 2024 04:08 37s
deploy site deploy site #2816: Scheduled
September 20, 2024 04:01 6m 46s lean4
lean4
September 20, 2024 04:01 6m 46s
deploy site deploy site #2815: Scheduled
September 19, 2024 04:01 6m 15s lean4
lean4
September 19, 2024 04:01 6m 15s
pages build and deployment pages-build-deployment #1223: by leanprover-community-bot
September 19, 2024 02:41 40s
September 19, 2024 02:41 40s
fix: get mathlib4 contributors instead of mathlib3 (#528) deploy site #2814: Commit 47b6b1a pushed by semorrison
September 19, 2024 02:35 6m 44s lean4
lean4
September 19, 2024 02:35 6m 44s
Update simp.md deploy site #2813: Commit df375df pushed by bryangingechen
September 18, 2024 22:05 6m 36s bryangingechen-patch-2
bryangingechen-patch-2
September 18, 2024 22:05 6m 36s
fix: get mathlib4 contributors instead of mathlib3 deploy site #2812: Commit 44c866f pushed by bryangingechen
September 18, 2024 21:44 7m 36s bryangingechen-patch-2
bryangingechen-patch-2
September 18, 2024 21:44 7m 36s
Add comments about what to contribute to mathlib deploy site #2811: Commit d443615 pushed by kbuzzard
September 18, 2024 13:54 6m 41s kbuzzard-mathlib-scope
kbuzzard-mathlib-scope
September 18, 2024 13:54 6m 41s
pages build and deployment pages-build-deployment #1222: by leanprover-community-bot
September 18, 2024 08:59 40s
September 18, 2024 08:59 40s
Update teams.yaml (#524) deploy site #2810: Commit cc33737 pushed by fpvandoorn
September 18, 2024 08:52 6m 37s lean4
lean4
September 18, 2024 08:52 6m 37s
pages build and deployment pages-build-deployment #1221: by leanprover-community-bot
September 18, 2024 04:07 36s
September 18, 2024 04:07 36s
deploy site deploy site #2809: Scheduled
September 18, 2024 04:01 6m 12s lean4
lean4
September 18, 2024 04:01 6m 12s
pages build and deployment pages-build-deployment #1220: by leanprover-community-bot
September 17, 2024 04:07 37s
September 17, 2024 04:07 37s
deploy site deploy site #2808: Scheduled
September 17, 2024 04:01 6m 8s lean4
lean4
September 17, 2024 04:01 6m 8s
pages build and deployment pages-build-deployment #1219: by leanprover-community-bot
September 16, 2024 04:07 42s
September 16, 2024 04:07 42s
deploy site deploy site #2807: Scheduled
September 16, 2024 04:01 6m 20s lean4
lean4
September 16, 2024 04:01 6m 20s
pages build and deployment pages-build-deployment #1218: by leanprover-community-bot
September 15, 2024 04:07 38s
September 15, 2024 04:07 38s
deploy site deploy site #2806: Scheduled
September 15, 2024 04:01 6m 18s lean4
lean4
September 15, 2024 04:01 6m 18s
pages build and deployment pages-build-deployment #1217: by leanprover-community-bot
September 14, 2024 04:07 37s
September 14, 2024 04:07 37s