Skip to content

Actions: HoTT/book

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1192 from HoTT/dependabot/github_actions/actions/… Build #243: Commit 0bb33d2 pushed by mikeshulman
6m 4s master
master
6m 4s
Bump actions/checkout from 5 to 6 Build #242: Pull request #1192 opened by dependabot bot
7m 52s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
7m 52s
Merge pull request #1191 from Bolpat/patch-1 Build #241: Commit a40a78c pushed by mikeshulman
5m 22s master
master
5m 22s
Remove big space Build #240: Pull request #1191 synchronize by Bolpat
5m 3s Bolpat:patch-1
Bolpat:patch-1
5m 3s
Remove big space Build #239: Pull request #1191 opened by Bolpat
5m 50s Bolpat:patch-1
Bolpat:patch-1
5m 50s
Merge pull request #1189 from HoTT/dependabot/github_actions/actions/… Build #238: Commit 79f6b7f pushed by mikeshulman
6m 51s master
master
6m 51s
Bump actions/checkout from 4 to 5 Build #237: Pull request #1189 opened by dependabot bot
6m 26s dependabot/github_actions/actions/checkout-5
dependabot/github_actions/actions/checkout-5
6m 26s
Merge pull request #1187 from danielzgtg/fix/ubuntu2504 Build #236: Commit c4e57d5 pushed by mikeshulman
5m 17s master
master
5m 17s
Merge pull request #1188 from danielzgtg/fix/unspaceEmDashes Build #235: Commit c32edf9 pushed by mikeshulman
6m 2s master
master
6m 2s
Unify em dashes to spaced version Build #234: Pull request #1188 synchronize by danielzgtg
5m 29s danielzgtg:fix/unspaceEmDashes
danielzgtg:fix/unspaceEmDashes
5m 29s
Unify em dashes to spaced version Build #230: Pull request #1188 by danielzgtg
Failure danielzgtg:fix/unspaceEmDashes
danielzgtg:fix/unspaceEmDashes
Failure
Unvendor packages to fix CI Build #228: Pull request #1187 opened by danielzgtg
6m 16s danielzgtg:fix/ubuntu2504
danielzgtg:fix/ubuntu2504
6m 16s
Merge pull request #1186 from HoTT/dependabot/github_actions/Andrew-C… Build #227: Commit c8915b5 pushed by mikeshulman
5m 21s master
master
5m 21s
Bump Andrew-Chen-Wang/github-wiki-action from 4 to 5 Build #226: Pull request #1186 opened by dependabot bot
5m 13s dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-5
dependabot/github_actions/Andrew-Chen-Wang/github-wiki-action-5
5m 13s
Merge pull request #1185 from Bolpat/patch-5 Build #225: Commit 3afc33d pushed by mikeshulman
5m 0s master
master
5m 0s
Fix typo: Use en dash for separating names: Escardó–Simpson instead of Escardó-Simpson Build #224: Pull request #1185 synchronize by Bolpat
5m 12s Bolpat:patch-5
Bolpat:patch-5
5m 12s
Merge pull request #1182 from Bolpat/patch-2 Build #223: Commit a828f40 pushed by mikeshulman
5m 6s master
master
5m 6s
Fix typo: Missing closing | for absolute value Build #222: Pull request #1182 synchronize by mikeshulman
5m 6s Bolpat:patch-2
Bolpat:patch-2
5m 6s
Merge pull request #1184 from Bolpat/patch-4 Build #221: Commit 671b000 pushed by mikeshulman
5m 58s master
master
5m 58s
Fix typo: Use en dash for separating names: Escardó–Simpson instead of Escardó-Simpson Build #220: Pull request #1185 opened by Bolpat
5m 18s Bolpat:patch-5
Bolpat:patch-5
5m 18s
Fix incorrect ordering of r and s in Definition 11.5.13(v) Build #219: Pull request #1184 opened by Bolpat
5m 52s Bolpat:patch-4
Bolpat:patch-4
5m 52s
Fix typo: Missing closing | for absolute value Build #218: Pull request #1182 synchronize by Bolpat
4m 59s Bolpat:patch-2
Bolpat:patch-2
4m 59s
Make definition of ε-net use zero-based indexing Build #217: Pull request #1183 opened by Bolpat
7m 17s Bolpat:patch-3
Bolpat:patch-3
7m 17s
Fix typo: Missing closing | for absolute value Build #216: Pull request #1182 opened by Bolpat
5m 18s Bolpat:patch-2
Bolpat:patch-2
5m 18s
Merge pull request #1181 from Bolpat/patch-1 Build #215: Commit 7d3a5fa pushed by mikeshulman
4m 58s master
master
4m 58s