Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: release CI Build and check HTML #159: Pull request #86 opened by david-christiansen
October 21, 2024 06:10 2m 50s release-tag-deployment
release-tag-deployment
October 21, 2024 06:10 2m 50s
chore: bump Verso to fix index rendering Build and check HTML #158: Commit 620fa47 pushed by david-christiansen
October 19, 2024 14:40 3m 42s main
main
October 19, 2024 14:40 3m 42s
chore: bump Verso to fix index rendering Build and check HTML #157: Pull request #85 opened by david-christiansen
October 19, 2024 14:32 4m 36s aesthetics
aesthetics
October 19, 2024 14:32 4m 36s
feat: add Lean logo Build and check HTML #156: Commit 45e80f0 pushed by david-christiansen
October 19, 2024 14:30 3m 57s main
main
October 19, 2024 14:30 3m 57s
Aesthetics Build and check HTML #155: Pull request #84 synchronize by david-christiansen
October 19, 2024 14:14 4m 39s aesthetics
aesthetics
October 19, 2024 14:14 4m 39s
Aesthetics Build and check HTML #154: Pull request #84 synchronize by david-christiansen
October 19, 2024 13:01 2m 31s aesthetics
aesthetics
October 19, 2024 13:01 2m 31s
Aesthetics Build and check HTML #153: Pull request #84 opened by david-christiansen
October 19, 2024 13:00 1m 3s aesthetics
aesthetics
October 19, 2024 13:00 1m 3s
chore: adapt to new upstream Verso, still for ToC improvements Build and check HTML #152: Commit 3ef5ff9 pushed by david-christiansen
October 19, 2024 10:29 5m 37s main
main
October 19, 2024 10:29 5m 37s
chore: use cacheable TeX to speed up CI (#83) Build and check HTML #151: Commit 44cdbe1 pushed by david-christiansen
October 19, 2024 10:28 4m 1s main
main
October 19, 2024 10:28 4m 1s
chore: use cacheable TeX to speed up CI Build and check HTML #150: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:25 2m 28s faster-ci
faster-ci
October 19, 2024 10:25 2m 28s
chore: use cacheable TeX to speed up CI Build and check HTML #149: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:21 1m 30s faster-ci
faster-ci
October 19, 2024 10:21 1m 30s
chore: use cacheable TeX to speed up CI Build and check HTML #148: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:19 54s faster-ci
faster-ci
October 19, 2024 10:19 54s
chore: use cacheable TeX to speed up CI Build and check HTML #147: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:16 1m 4s faster-ci
faster-ci
October 19, 2024 10:16 1m 4s
chore: use cacheable TeX to speed up CI Build and check HTML #146: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:14 43s faster-ci
faster-ci
October 19, 2024 10:14 43s
chore: use cacheable TeX to speed up CI Build and check HTML #145: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:13 50s faster-ci
faster-ci
October 19, 2024 10:13 50s
chore: use cacheable TeX to speed up CI Build and check HTML #144: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:12 49s faster-ci
faster-ci
October 19, 2024 10:12 49s
chore: use cacheable TeX to speed up CI Build and check HTML #143: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:10 49s faster-ci
faster-ci
October 19, 2024 10:10 49s
chore: use cacheable TeX to speed up CI Build and check HTML #142: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:07 1m 0s faster-ci
faster-ci
October 19, 2024 10:07 1m 0s
chore: use cacheable TeX to speed up CI Build and check HTML #141: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:06 57s faster-ci
faster-ci
October 19, 2024 10:06 57s
chore: use cacheable TeX to speed up CI Build and check HTML #140: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:05 1m 4s faster-ci
faster-ci
October 19, 2024 10:05 1m 4s
chore: use cacheable TeX to speed up CI Build and check HTML #139: Pull request #83 synchronize by david-christiansen
October 19, 2024 10:02 1m 45s faster-ci
faster-ci
October 19, 2024 10:02 1m 45s
chore: use cacheable TeX to speed up CI Build and check HTML #138: Pull request #83 opened by david-christiansen
October 19, 2024 10:01 56s faster-ci
faster-ci
October 19, 2024 10:01 56s
Toc updates Build and check HTML #137: Pull request #82 synchronize by david-christiansen
October 19, 2024 09:57 8m 10s toc-updates
toc-updates
October 19, 2024 09:57 8m 10s
chore: external contribution guidelines Build and check HTML #136: Commit d194ec1 pushed by david-christiansen
October 18, 2024 13:46 4m 0s main
main
October 18, 2024 13:46 4m 0s
chore: create PULL_REQUEST_TEMPLATE.md Build and check HTML #135: Commit d8e7097 pushed by david-christiansen
October 18, 2024 13:33 4m 6s main
main
October 18, 2024 13:33 4m 6s
ProTip! You can narrow down the results and go further in time using created:<2024-10-18 or the other filters available.