Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,111 workflow runs
2,111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Using new syntax for projection instance declarations CI #3637: Pull request #2263 synchronize by patrick-nicodemus
March 22, 2025 15:23 18m 44s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 22, 2025 15:23 18m 44s
Using new syntax for projection instance declarations CI #3636: Pull request #2263 synchronize by patrick-nicodemus
March 22, 2025 12:50 19m 8s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 22, 2025 12:50 19m 8s
Using new syntax for projection instance declarations CI #3635: Pull request #2263 synchronize by patrick-nicodemus
March 22, 2025 12:44 6m 12s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 22, 2025 12:44 6m 12s
Monoidal coherence CI #3634: Pull request #2261 synchronize by patrick-nicodemus
March 22, 2025 12:15 19m 7s patrick-nicodemus:monoidal-coherence-demo
patrick-nicodemus:monoidal-coherence-demo
March 22, 2025 12:15 19m 7s
Typeclass hints CI #3633: Pull request #2254 synchronize by patrick-nicodemus
March 22, 2025 12:09 18m 51s patrick-nicodemus:tc_fixes
patrick-nicodemus:tc_fixes
March 22, 2025 12:09 18m 51s
Using new syntax for projection instance declarations CI #3632: Pull request #2263 synchronize by patrick-nicodemus
March 21, 2025 14:02 19m 36s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 21, 2025 14:02 19m 36s
Using new syntax for projection instance declarations CI #3631: Pull request #2263 synchronize by patrick-nicodemus
March 21, 2025 13:59 3m 23s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 21, 2025 13:59 3m 23s
Using new syntax for projection instance declarations CI #3630: Pull request #2263 synchronize by patrick-nicodemus
March 21, 2025 13:41 18m 2s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 21, 2025 13:41 18m 2s
Using new syntax for projection instance declarations CI #3629: Pull request #2263 opened by patrick-nicodemus
March 21, 2025 13:22 18m 25s patrick-nicodemus:ex_in2
patrick-nicodemus:ex_in2
March 21, 2025 13:22 18m 25s
Using new syntax for typeclass instance declarations CI #3628: Pull request #2262 synchronize by patrick-nicodemus
March 20, 2025 08:11 18m 49s patrick-nicodemus:ex_in
patrick-nicodemus:ex_in
March 20, 2025 08:11 18m 49s
Using new syntax for typeclass instance declarations CI #3627: Pull request #2262 synchronize by patrick-nicodemus
March 20, 2025 07:28 18m 35s patrick-nicodemus:ex_in
patrick-nicodemus:ex_in
March 20, 2025 07:28 18m 35s
Using new syntax for typeclass instance declarations CI #3626: Pull request #2262 opened by patrick-nicodemus
March 20, 2025 07:03 18m 46s patrick-nicodemus:ex_in
patrick-nicodemus:ex_in
March 20, 2025 07:03 18m 46s
Typeclass hints CI #3625: Pull request #2254 synchronize by patrick-nicodemus
March 20, 2025 04:17 18m 45s patrick-nicodemus:tc_fixes
patrick-nicodemus:tc_fixes
March 20, 2025 04:17 18m 45s
Defined Bicategory CI #3624: Pull request #2215 synchronize by patrick-nicodemus
March 20, 2025 03:08 18m 54s patrick-nicodemus:bicategory
patrick-nicodemus:bicategory
March 20, 2025 03:08 18m 54s
Monoidal coherence CI #3623: Pull request #2261 synchronize by patrick-nicodemus
March 20, 2025 02:12 18m 54s patrick-nicodemus:monoidal-coherence-demo
patrick-nicodemus:monoidal-coherence-demo
March 20, 2025 02:12 18m 54s
Monoidal coherence CI #3622: Pull request #2261 opened by patrick-nicodemus
March 20, 2025 02:05 7m 18s patrick-nicodemus:monoidal-coherence-demo
patrick-nicodemus:monoidal-coherence-demo
March 20, 2025 02:05 7m 18s
building timing reports with dune CI #3621: Pull request #2234 synchronize by Alizter
March 19, 2025 12:58 18m 38s Alizter:dune-timing
Alizter:dune-timing
March 19, 2025 12:58 18m 38s
cleanup some unused files CI #3620: Pull request #2260 synchronize by Alizter
March 18, 2025 22:48 19m 59s Alizter:cleanup-files
Alizter:cleanup-files
March 18, 2025 22:48 19m 59s
building timing reports with dune CI #3619: Pull request #2234 synchronize by Alizter
March 18, 2025 20:10 18m 48s Alizter:dune-timing
Alizter:dune-timing
March 18, 2025 20:10 18m 48s
cleanup some unused files CI #3618: Pull request #2260 opened by Alizter
March 18, 2025 19:44 18m 44s Alizter:cleanup-files
Alizter:cleanup-files
March 18, 2025 19:44 18m 44s
pages build and deployment pages-build-deployment #391: by github-pages bot
March 18, 2025 17:50 49s gh-pages
gh-pages
March 18, 2025 17:50 49s
Merge pull request #2259 from jdchristensen/ap_pV-zigzag CI #3617: Commit d2f9b8c pushed by jdchristensen
March 18, 2025 17:31 19m 35s master
master
March 18, 2025 17:31 19m 35s
Add things related to suspensions and joins CI #3616: Pull request #2259 synchronize by Alizter
March 18, 2025 17:05 18m 44s jdchristensen:ap_pV-zigzag
jdchristensen:ap_pV-zigzag
March 18, 2025 17:05 18m 44s
Add things related to suspensions and joins CI #3615: Pull request #2259 opened by jdchristensen
March 18, 2025 14:28 18m 50s jdchristensen:ap_pV-zigzag
jdchristensen:ap_pV-zigzag
March 18, 2025 14:28 18m 50s
associativity of ideal product CI #3614: Pull request #2121 synchronize by Alizter
March 16, 2025 17:07 18m 42s Alizter:ps/rr/associativity_of_ideal_product
Alizter:ps/rr/associativity_of_ideal_product
March 16, 2025 17:07 18m 42s