Skip to content

Actions: leanprover/reference-manual

Actions

Build and deploy sites

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
246 workflow runs
246 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: tools for documenting syntax Build and deploy sites #21: Pull request #8 opened by david-christiansen
July 19, 2024 12:32 7m 37s universe-stx-doc
universe-stx-doc
July 19, 2024 12:32 7m 37s
fix: message duplication in log (#7) Build and deploy sites #20: Commit 6c92ccc pushed by david-christiansen
July 19, 2024 06:44 6m 4s main
main
July 19, 2024 06:44 6m 4s
fix: message duplication in log Build and deploy sites #19: Pull request #7 opened by david-christiansen
July 19, 2024 04:08 6m 24s log-bug-fix
log-bug-fix
July 19, 2024 04:08 6m 24s
chore: remove some TeX deps from CI (#6) Build and deploy sites #18: Commit 3f7d192 pushed by david-christiansen
July 17, 2024 14:55 5m 29s main
main
July 17, 2024 14:55 5m 29s
chore: try removing some TeX deps from CI Build and deploy sites #17: Pull request #6 synchronize by david-christiansen
July 17, 2024 14:48 6m 17s smaller-tex-ci
smaller-tex-ci
July 17, 2024 14:48 6m 17s
chore: try removing some TeX deps from CI Build and deploy sites #16: Pull request #6 synchronize by david-christiansen
July 17, 2024 14:42 1m 55s smaller-tex-ci
smaller-tex-ci
July 17, 2024 14:42 1m 55s
doc: improve universe chapter (#5) Build and deploy sites #15: Commit 5dfacb2 pushed by david-christiansen
July 17, 2024 14:40 6m 36s main
main
July 17, 2024 14:40 6m 36s
chore: try removing some TeX deps from CI Build and deploy sites #14: Pull request #6 opened by david-christiansen
July 17, 2024 14:37 1m 4s smaller-tex-ci
smaller-tex-ci
July 17, 2024 14:37 1m 4s
doc: more text about Strings (#4) Build and deploy sites #13: Commit 9812a44 pushed by david-christiansen
July 17, 2024 14:33 5m 47s main
main
July 17, 2024 14:33 5m 47s
doc: improve universe chapter Build and deploy sites #12: Pull request #5 opened by david-christiansen
July 17, 2024 14:33 6m 45s universe-text
universe-text
July 17, 2024 14:33 6m 45s
fix: improve line breaking in ToC CSS (#3) Build and deploy sites #11: Commit a139de2 pushed by david-christiansen
July 17, 2024 05:22 5m 42s main
main
July 17, 2024 05:22 5m 42s
doc: more text about Strings Build and deploy sites #10: Pull request #4 opened by david-christiansen
July 17, 2024 05:22 6m 33s string-text
string-text
July 17, 2024 05:22 6m 33s
chore: add deployment target to README (#2) Build and deploy sites #9: Commit 93af241 pushed by david-christiansen
July 17, 2024 05:08 6m 14s main
main
July 17, 2024 05:08 6m 14s
fix: improve line breaking in ToC CSS Build and deploy sites #8: Pull request #3 opened by david-christiansen
July 17, 2024 05:08 5m 32s toc-css
toc-css
July 17, 2024 05:08 5m 32s
chore: add deployment target to README Build and deploy sites #7: Pull request #2 opened by david-christiansen
July 17, 2024 04:26 5m 36s readme-deploy
readme-deploy
July 17, 2024 04:26 5m 36s
chore: get CI up and going (#1) Build and deploy sites #6: Commit 4134f8f pushed by david-christiansen
July 16, 2024 15:01 9m 14s main
main
July 16, 2024 15:01 9m 14s
chore: get CI up and going Build and deploy sites #5: Pull request #1 synchronize by david-christiansen
July 16, 2024 14:50 8m 43s ci
ci
July 16, 2024 14:50 8m 43s
chore: get CI up and going Build and deploy sites #4: Pull request #1 synchronize by david-christiansen
July 16, 2024 14:45 4m 40s ci
ci
July 16, 2024 14:45 4m 40s
chore: get CI up and going Build and deploy sites #3: Pull request #1 synchronize by david-christiansen
July 16, 2024 14:33 5m 25s ci
ci
July 16, 2024 14:33 5m 25s
chore: get CI up and going Build and deploy sites #2: Pull request #1 synchronize by david-christiansen
July 16, 2024 14:31 2m 37s ci
ci
July 16, 2024 14:31 2m 37s
chore: get CI up and going Build and deploy sites #1: Pull request #1 synchronize by david-christiansen
July 16, 2024 14:30 17s ci
ci
July 16, 2024 14:30 17s
ProTip! You can narrow down the results and go further in time using created:<2024-07-16 or the other filters available.