Skip to content

Actions: HoTT/book

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump peaceiris/actions-gh-pages from 3 to 4 Build #174: Pull request #1159 opened by dependabot bot
June 17, 2024 16:38 4m 57s dependabot/github_actions/peaceiris/actions-gh-pages-4
dependabot/github_actions/peaceiris/actions-gh-pages-4
June 17, 2024 16:38 4m 57s
Merge pull request #1145 from HoTT/dependabot/github_actions/actions/… Build #173: Commit e428abf pushed by mikeshulman
June 17, 2024 00:51 4m 57s master
master
June 17, 2024 00:51 4m 57s
Fix typos in the proof of Theorem 8.4.6 Build #172: Pull request #1154 opened by EricWay1024
February 24, 2024 00:54 4m 53s EricWay1024:fix-thm-les
EricWay1024:fix-thm-les
February 24, 2024 00:54 4m 53s
Merge pull request #1152 from niyoushanajmaei/fix-typos Build #170: Commit 2e736d1 pushed by mikeshulman
January 11, 2024 17:03 4m 58s master
master
January 11, 2024 17:03 4m 58s
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
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
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
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
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
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