Skip to content

Actions: leanprover-community/mathlib-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8 from leanprover-community/fork-to-dependency Build and check HTML #47: Commit a58114d pushed by Vierkantor
37m 43s main
main
37m 43s
chore: bump v4.23.0 (#7) Build and check HTML #46: Commit f0f719d pushed by joneugster
35m 3s main
main
35m 3s
modifications of mathlib manual (#4) Build and check HTML #45: Commit acdd821 pushed by joneugster
5m 13s main
main
5m 13s
no link checker Build and check HTML #44: Commit 177a483 pushed by joneugster
3m 37s main
main
3m 37s
stack overflow? Build and check HTML #43: Commit cdd84c9 pushed by joneugster
31m 27s main
main
31m 27s
update CI Build and check HTML #42: Commit e61a02b pushed by joneugster
26m 24s main
main
26m 24s
modifications of mathlib manual (#4) Build and check HTML #41: Commit 8fb48c5 pushed by joneugster
28m 37s main
main
28m 37s
Label PRs with artifacts Label PRs with artifacts #4: completed by joneugster
1s
1s
Deploy PR for review Deploy PR for review #4: completed by joneugster
1s
1s
Label PRs with artifacts Label PRs with artifacts #3: completed by joneugster
1s
1s
Deploy PR for review Deploy PR for review #3: completed by joneugster
1s
1s
chore: update v4.22.0 release notes page for stable version (#565) Report PR testing status to the lean4 repository #4: Commit 2bb2a5e pushed by joneugster
29s main
main
29s
chore: update v4.22.0 release notes page for stable version (#565) Build and check HTML #40: Commit 2bb2a5e pushed by joneugster
27s main
main
27s
chore: bump v4.22.0 again Build and check HTML #39: Pull request #4 opened by joneugster
1h 31m 51s bump/v4.22.0
bump/v4.22.0
1h 31m 51s
chore: bump v4.22.0 (#3) Build and check HTML #38: Commit a063223 pushed by joneugster
9m 22s main
main
9m 22s
chore: bump v4.22.0 Build and check HTML #37: Pull request #3 opened by joneugster
9m 50s bump/v4.22.0
bump/v4.22.0
9m 50s
Merge pull request #2 from leanprover-community/eric-wieser-patch-1 Build and check HTML #36: Commit 47ca08b pushed by joneugster
12m 11s main
main
12m 11s
add update instructions Build and check HTML #35: Commit f8a7660 pushed by joneugster
50m 20s main
main
50m 20s
add updating instructions to README Build and check HTML #34: Commit 66d9d32 pushed by joneugster
3m 59s main
main
3m 59s
remove other workflows Build and check HTML #33: Commit f2defee pushed by joneugster
50m 45s main
main
50m 45s
fix Report PR testing status to the lean4 repository #3: Commit 2b81ce1 pushed by joneugster
9s main
main
9s
fix Build and check HTML #32: Commit 2b81ce1 pushed by joneugster
49m 10s main
main
49m 10s
bump v4.21 Build and check HTML #31: Commit 8baecaf pushed by joneugster
47m 16s main
main
47m 16s
bump v4.21 Report PR testing status to the lean4 repository #2: Commit 8baecaf pushed by joneugster
5s main
main
5s
fix? Build and check HTML #30: Commit a15d6cd pushed by joneugster
1h 1m 38s main
main
1h 1m 38s