Skip to content

Actions: leanprover/reference-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
677 workflow runs
677 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: remove unintentionally-retained 'planned' label (#294) Build and check HTML #678: Commit 2efcff2 pushed by david-christiansen
February 7, 2025 18:02 11m 5s main
main
February 7, 2025 18:02 11m 5s
feat: sum types (#292) Build and check HTML #677: Commit a790ecc pushed by david-christiansen
February 7, 2025 18:01 10m 52s main
main
February 7, 2025 18:01 10m 52s
feat: sum types Build and check HTML #676: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:24 6m 36s sum
sum
February 7, 2025 16:24 6m 36s
fix: remove unintentionally-retained 'planned' label Build and check HTML #675: Pull request #294 opened by david-christiansen
February 7, 2025 16:21 6m 57s planned-audit
planned-audit
February 7, 2025 16:21 6m 57s
feat: products Build and check HTML #674: Pull request #293 opened by david-christiansen
February 7, 2025 16:15 12m 25s prod
prod
February 7, 2025 16:15 12m 25s
feat: sum types Build and check HTML #673: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:14 6m 53s sum
sum
February 7, 2025 16:14 6m 53s
feat: sum types Build and check HTML #672: Pull request #292 synchronize by david-christiansen
February 7, 2025 16:13 4m 2s sum
sum
February 7, 2025 16:13 4m 2s
fix: correct the description of integer representation (#291) Build and check HTML #671: Commit 35bdc96 pushed by david-christiansen
February 7, 2025 14:42 5m 0s main
main
February 7, 2025 14:42 5m 0s
feat: sum types Build and check HTML #670: Pull request #292 synchronize by david-christiansen
February 7, 2025 14:38 12m 22s sum
sum
February 7, 2025 14:38 12m 22s
fix: correct the description of integer representation Build and check HTML #669: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:28 6m 26s int-fix
int-fix
February 7, 2025 13:28 6m 26s
feat: sum types Build and check HTML #668: Pull request #292 opened by david-christiansen
February 7, 2025 13:27 44s sum
sum
February 7, 2025 13:27 44s
fix: correct the description of integer representation Build and check HTML #667: Pull request #291 synchronize by david-christiansen
February 7, 2025 13:07 6m 37s int-fix
int-fix
February 7, 2025 13:07 6m 37s
fix: correct the description of integer representation Build and check HTML #666: Pull request #291 opened by david-christiansen
February 7, 2025 09:02 6m 30s int-fix
int-fix
February 7, 2025 09:02 6m 30s
feat: coercions (#287) Build and check HTML #665: Commit ec6f7ab pushed by david-christiansen
February 7, 2025 08:23 10m 35s main
main
February 7, 2025 08:23 10m 35s
feat: coercions Build and check HTML #664: Pull request #287 synchronize by david-christiansen
February 7, 2025 08:12 7m 2s coercions
coercions
February 7, 2025 08:12 7m 2s
feat: coercions Build and check HTML #663: Pull request #287 synchronize by david-christiansen
February 7, 2025 08:05 3m 14s coercions
coercions
February 7, 2025 08:05 3m 14s
feat: coercions Build and check HTML #662: Pull request #287 synchronize by david-christiansen
February 7, 2025 06:31 6m 42s coercions
coercions
February 7, 2025 06:31 6m 42s
feat: coercions Build and check HTML #661: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:24 10m 26s coercions
coercions
February 7, 2025 05:24 10m 26s
feat: coercions Build and check HTML #660: Pull request #287 synchronize by david-christiansen
February 7, 2025 05:18 5m 20s coercions
coercions
February 7, 2025 05:18 5m 20s
chore: bump to latest nightly and Verso (#290) Build and check HTML #659: Commit 50706bb pushed by david-christiansen
February 6, 2025 16:08 13m 25s main
main
February 6, 2025 16:08 13m 25s
feat: coercions Build and check HTML #658: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:56 6m 8s coercions
coercions
February 6, 2025 15:56 6m 8s
feat: coercions Build and check HTML #657: Pull request #287 synchronize by david-christiansen
February 6, 2025 15:46 7m 1s coercions
coercions
February 6, 2025 15:46 7m 1s
chore: bump to latest nightly and Verso Build and check HTML #656: Pull request #290 opened by david-christiansen
February 6, 2025 15:45 14m 44s bump-2024-02-06
bump-2024-02-06
February 6, 2025 15:45 14m 44s
feat: coercions Build and check HTML #655: Pull request #287 synchronize by david-christiansen
February 6, 2025 13:05 6m 44s coercions
coercions
February 6, 2025 13:05 6m 44s
feat: coercions Build and check HTML #654: Pull request #287 synchronize by david-christiansen
February 5, 2025 22:35 6m 38s coercions
coercions
February 5, 2025 22:35 6m 38s