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

feat: Quotient type chapter Build and check HTML #603: Pull request #265 synchronize by david-christiansen
January 31, 2025 09:08 5m 48s quotient
quotient
January 31, 2025 09:08 5m 48s
feat: Quotient type chapter Build and check HTML #602: Pull request #265 synchronize by david-christiansen
January 31, 2025 07:46 11m 55s quotient
quotient
January 31, 2025 07:46 11m 55s
fix: don't clobber messages (#269) Build and check HTML #601: Commit b5a465c pushed by david-christiansen
January 31, 2025 07:46 10m 4s main
main
January 31, 2025 07:46 10m 4s
fix: don't clobber messages Build and check HTML #600: Pull request #269 synchronize by david-christiansen
January 31, 2025 07:38 5m 37s save-msglog
save-msglog
January 31, 2025 07:38 5m 37s
fix: remove a typo in WF.lean (#268) Build and check HTML #599: Commit cf4206b pushed by david-christiansen
January 31, 2025 07:27 4m 20s main
main
January 31, 2025 07:27 4m 20s
fix: don't clobber messages Build and check HTML #598: Pull request #269 opened by david-christiansen
January 31, 2025 07:26 12m 3s save-msglog
save-msglog
January 31, 2025 07:26 12m 3s
fix: remove a typo in WF.lean Build and check HTML #597: Pull request #268 opened by sgraf812
January 30, 2025 14:53 6m 28s sgraf812:patch-1
sgraf812:patch-1
January 30, 2025 14:53 6m 28s
feat: Quotient type chapter Build and check HTML #596: Pull request #265 synchronize by david-christiansen
January 30, 2025 08:31 6m 2s quotient
quotient
January 30, 2025 08:31 6m 2s
feat: Quotient type chapter Build and check HTML #595: Pull request #265 synchronize by david-christiansen
January 30, 2025 07:53 6m 27s quotient
quotient
January 30, 2025 07:53 6m 27s
feat: partial_fixpoint Build and check HTML #594: Pull request #253 synchronize by david-christiansen
January 30, 2025 06:10 6m 44s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
January 30, 2025 06:10 6m 44s
feat: partial_fixpoint Build and check HTML #593: Pull request #253 synchronize by david-christiansen
January 30, 2025 06:02 1m 7s nomeata:joachim/partial-fixpoint
nomeata:joachim/partial-fixpoint
January 30, 2025 06:02 1m 7s
feat: search box Build and check HTML #592: Pull request #241 synchronize by david-christiansen
January 30, 2025 05:59 5m 51s search-box
search-box
January 30, 2025 05:59 5m 51s
feat: Quotient type chapter Build and check HTML #591: Pull request #265 synchronize by david-christiansen
January 29, 2025 22:21 5m 57s quotient
quotient
January 29, 2025 22:21 5m 57s
chore: add tag to header "Section Variables" (#264) Build and check HTML #590: Commit 52892d3 pushed by david-christiansen
January 29, 2025 22:11 4m 33s main
main
January 29, 2025 22:11 4m 33s
feat: Quotient type chapter Build and check HTML #589: Pull request #265 synchronize by david-christiansen
January 29, 2025 22:09 6m 37s quotient
quotient
January 29, 2025 22:09 6m 37s
feat: search box Build and check HTML #588: Pull request #241 synchronize by david-christiansen
January 29, 2025 22:01 10m 57s search-box
search-box
January 29, 2025 22:01 10m 57s
feat: search box Build and check HTML #587: Pull request #241 synchronize by david-christiansen
January 29, 2025 21:50 9m 39s search-box
search-box
January 29, 2025 21:50 9m 39s
feat: Quotient type chapter Build and check HTML #586: Pull request #265 opened by david-christiansen
January 29, 2025 21:44 3m 54s quotient
quotient
January 29, 2025 21:44 3m 54s
feat: search box Build and check HTML #585: Pull request #241 synchronize by jakobvase
January 29, 2025 16:24 6m 35s search-box
search-box
January 29, 2025 16:24 6m 35s
feat: search box Build and check HTML #584: Pull request #241 synchronize by jakobvase
January 29, 2025 16:13 5m 37s search-box
search-box
January 29, 2025 16:13 5m 37s
feat: search box Build and check HTML #583: Pull request #241 synchronize by jakobvase
January 29, 2025 16:03 5m 39s search-box
search-box
January 29, 2025 16:03 5m 39s
chore: add tag to header "Section Variables" Build and check HTML #582: Pull request #264 opened by 4e554c4c
January 29, 2025 15:51 6m 21s 4e554c4c:patch
4e554c4c:patch
January 29, 2025 15:51 6m 21s
feat: search box Build and check HTML #581: Pull request #241 synchronize by david-christiansen
January 29, 2025 11:13 5m 38s search-box
search-box
January 29, 2025 11:13 5m 38s
feat: search box Build and check HTML #580: Pull request #241 synchronize by david-christiansen
January 29, 2025 10:32 9m 6s search-box
search-box
January 29, 2025 10:32 9m 6s
feat: search box Build and check HTML #579: Pull request #241 synchronize by david-christiansen
January 29, 2025 06:24 11m 39s search-box
search-box
January 29, 2025 06:24 11m 39s