Skip to content

Actions: HoTT/book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Install gh to fix GitHub Actions (3rd try) Build #169: Commit a05b0e4 pushed by favonia
January 9, 2024 22:52 5m 0s master
master
January 9, 2024 22:52 5m 0s
pages build and deployment pages-build-deployment #26: by github-pages bot
January 9, 2024 22:49 37s
January 9, 2024 22:49 37s
Install gh to fix GitHub Actions (second try) Build #168: Commit a1cf8b3 pushed by favonia
January 9, 2024 22:45 4m 52s master
master
January 9, 2024 22:45 4m 52s
pages build and deployment pages-build-deployment #25: by github-pages bot
January 9, 2024 20:44 39s
January 9, 2024 20:44 39s
Install gh to fix GitHub Actions Build #167: Commit d993b86 pushed by favonia
January 9, 2024 20:39 5m 11s master
master
January 9, 2024 20:39 5m 11s
pages build and deployment pages-build-deployment #24: by github-pages bot
January 9, 2024 20:22 35s
January 9, 2024 20:22 35s
Build Build #166: Manually run by favonia
January 9, 2024 20:18 4m 55s master
master
January 9, 2024 20:18 4m 55s
Fix Typos in categories.tex Build #165: Pull request #1152 synchronize by niyoushanajmaei
January 4, 2024 22:00 4m 50s niyoushanajmaei:fix-typos
niyoushanajmaei:fix-typos
January 4, 2024 22:00 4m 50s
pages build and deployment pages-build-deployment #23: by github-pages bot
September 5, 2023 18:07 40s
September 5, 2023 18:07 40s
Merge pull request #1147 from mikeshulman/errata-fix2 Build #163: Commit 6913a1a pushed by awodey
September 5, 2023 17:59 7m 29s master
master
September 5, 2023 17:59 7m 29s
make commit name shorter Build #162: Pull request #1147 opened by mikeshulman
September 5, 2023 17:54 6m 18s mikeshulman:errata-fix2
mikeshulman:errata-fix2
September 5, 2023 17:54 6m 18s
pages build and deployment pages-build-deployment #22: by github-pages bot
September 5, 2023 17:52 44s
September 5, 2023 17:52 44s
Merge pull request #1146 from mikeshulman/errata-fix Build #161: Commit 16cbd61 pushed by awodey
September 5, 2023 17:46 6m 30s master
master
September 5, 2023 17:46 6m 30s
fix syntax of errata merge, close #1144 Build #160: Pull request #1146 opened by mikeshulman
September 5, 2023 17:42 6m 21s mikeshulman:errata-fix
mikeshulman:errata-fix
September 5, 2023 17:42 6m 21s
Bump actions/checkout from 3 to 4 Build #159: Pull request #1145 opened by dependabot bot
September 4, 2023 16:41 6m 33s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 16:41 6m 33s