Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #1954: by github-pages bot
37s master
master
37s
deploy site deploy site #3824: Scheduled
7m 27s lean4
lean4
7m 27s
partial derivatives guide build site (pull request) #192: Pull request #800 synchronize by lecopivo
Action required lecopivo:partial_derivatives
lecopivo:partial_derivatives
Action required
pages build and deployment pages-build-deployment #1953: by github-pages bot
45s master
master
45s
deploy site deploy site #3823: Scheduled
7m 29s lean4
lean4
7m 29s
pages build and deployment pages-build-deployment #1952: by github-pages bot
2m 4s master
master
2m 4s
feat(documentation.yaml): add Metaprogramming in Lean video series (#… deploy site #3822: Commit af61003 pushed by fpvandoorn
7m 34s lean4
lean4
7m 34s
partial derivatives guide build site (pull request) #191: Pull request #800 synchronize by lecopivo
Action required lecopivo:partial_derivatives
lecopivo:partial_derivatives
Action required
partial derivatives guide build site (pull request) #190: Pull request #800 opened by lecopivo
Action required lecopivo:partial_derivatives
lecopivo:partial_derivatives
Action required
partial derivatives guide Message Zulip when a PR is opened #154: Pull request #800 opened by lecopivo
10s
10s
pages build and deployment pages-build-deployment #1951: by github-pages bot
34s master
master
34s
deploy site deploy site #3821: Scheduled
6m 39s lean4
lean4
6m 39s
pages build and deployment pages-build-deployment #1950: by github-pages bot
36s master
master
36s
deploy site deploy site #3820: Scheduled
7m 39s lean4
lean4
7m 39s
pages build and deployment pages-build-deployment #1949: by github-pages bot
40s master
master
40s
Add TYPES 2026 to events.yaml (#798) deploy site #3819: Commit ffc441f pushed by jcommelin
26m 48s lean4
lean4
26m 48s
deploy site deploy site #3818: Scheduled
1m 9s lean4
lean4
1m 9s
Remove align comments from naming.md (#799) deploy site #3817: Commit 78adfe0 pushed by eric-wieser
1m 17s lean4
lean4
1m 17s
Remove align comments from naming.md build site (pull request) #189: Pull request #799 opened by Timeroot
1m 4s Timeroot:patch-2
Timeroot:patch-2
1m 4s
Remove align comments from naming.md Message Zulip when a PR is opened #153: Pull request #799 opened by Timeroot
6s
6s
Add TYPES 2026 to events.yaml Message Zulip when a PR is opened #152: Pull request #798 opened by radams78
8s
8s
pages build and deployment pages-build-deployment #1948: by github-pages bot
35s master
master
35s
deploy site deploy site #3816: Scheduled
7m 55s lean4
lean4
7m 55s
pages build and deployment pages-build-deployment #1947: by github-pages bot
43s master
master
43s
deploy site deploy site #3815: Scheduled
7m 46s lean4
lean4
7m 46s