Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
2,033 workflow runs
2,033 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
feat: incorporate upstream search page Build and check HTML #2851: Pull request #839 synchronize by david-christiansen
10m 27s search-page
search-page
10m 27s
feat: incorporate upstream search page Build and check HTML #2850: Pull request #839 synchronize by david-christiansen
6m 32s search-page
search-page
6m 32s
feat: incorporate upstream search page Build and check HTML #2849: Pull request #839 synchronize by david-christiansen
9m 22s search-page
search-page
9m 22s
feat: incorporate upstream search page Build and check HTML #2848: Pull request #839 synchronize by david-christiansen
11m 8s search-page
search-page
11m 8s
feat: incorporate upstream search page Build and check HTML #2847: Pull request #839 opened by david-christiansen
10m 10s search-page
search-page
10m 10s
Update Defs.lean: correct description of opaque Build and check HTML #2846: Pull request #838 opened by safinaskar
Action required safinaskar:patch-1
safinaskar:patch-1
Action required
feat: search priorities (#837) Build and check HTML #2845: Commit 49e1877 pushed by github-merge-queue Bot
10m 19s main
main
10m 19s
Build and check HTML Build and check HTML #2844: Merge group checks requested
9m 25s
9m 25s
feat: search priorities Build and check HTML #2843: Pull request #837 synchronize by david-christiansen
9m 57s search-priorities
search-priorities
9m 57s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13446 Build and check HTML #2842: Commit d9be1c4 pushed by leanprover-bot
7m 23s lean-pr-testing-13446
lean-pr-testing-13446
7m 23s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13446 Build and check HTML #2841: Commit 7050c1d pushed by leanprover-bot
7m 6s lean-pr-testing-13446
lean-pr-testing-13446
7m 6s
chore: fix build Build and check HTML #2840: Commit 71568ab pushed by wkrozowski
3m 6s lean-pr-testing-13431
lean-pr-testing-13431
3m 6s
feat: search priorities Build and check HTML #2839: Pull request #837 opened by david-christiansen
10m 15s search-priorities
search-priorities
10m 15s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13431 Build and check HTML #2838: Commit faf6277 pushed by leanprover-bot
5m 14s lean-pr-testing-13431
lean-pr-testing-13431
5m 14s
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13431 Build and check HTML #2837: Commit b3e3563 pushed by leanprover-bot
7m 51s lean-pr-testing-13431
lean-pr-testing-13431
7m 51s
chore: add v4.30.0 release notes highlights Build and check HTML #2836: Pull request #836 opened by Garmelon
6m 23s highlights-v4.30.0
highlights-v4.30.0
6m 23s
chore: bump toolchain to v4.30.0-rc2 (#835) Build and check HTML #2835: Commit ab5be92 pushed by github-merge-queue Bot
11m 12s main
main
11m 12s
Build and check HTML Build and check HTML #2834: Merge group checks requested
11m 26s
11m 26s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #2833: Commit d9446b9 pushed by leanprover-bot
7m 19s lean-pr-testing-13484
lean-pr-testing-13484
7m 19s
chore: bump toolchain to v4.30.0-rc2 Build and check HTML #2832: Pull request #835 opened by Garmelon
11m 26s bump-to-v4.30.0-rc2
bump-to-v4.30.0-rc2
11m 26s
fix: remove obsolete TeX instructions from README (#826) Build and check HTML #2831: Commit 94396f4 pushed by github-merge-queue Bot
7m 0s main
main
7m 0s
Build and check HTML Build and check HTML #2830: Merge group checks requested
6m 12s
6m 12s
chore: change RC URLs and add a warning (#833) Build and check HTML #2829: Commit 5143238 pushed by github-merge-queue Bot
8m 9s main
main
8m 9s
Build and check HTML Build and check HTML #2828: Merge group checks requested
8m 4s
8m 4s
docs(delab): fix 'SubExp' -> 'SubExpr' namespace typo Build and check HTML #2827: Pull request #834 opened by MukundaKatta
9m 56s MukundaKatta:codex/fix-delab-subexp-typo
MukundaKatta:codex/fix-delab-subexp-typo
9m 56s