Skip to content

Actions: HoTT/Coq-HoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,839 workflow runs
1,839 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Theorem 5.8.2 from the book: characterizations of identity types CI #3040: Pull request #2143 synchronize by ThomatoTomato
November 22, 2024 17:39 4m 48s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 22, 2024 17:39 4m 48s
Theorem 5.8.2 from the book: characterizations of identity types CI #3039: Pull request #2143 synchronize by ThomatoTomato
November 22, 2024 16:36 5m 19s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 22, 2024 16:36 5m 19s
pages build and deployment pages-build-deployment #323: by github-pages bot
November 22, 2024 14:05 51s gh-pages
gh-pages
November 22, 2024 14:05 51s
Theorem 5.8.2 from the book: characterizations of identity types CI #3038: Pull request #2143 synchronize by ThomatoTomato
November 21, 2024 18:39 19m 21s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 21, 2024 18:39 19m 21s
Theorem 5.8.2 from the book: characterizations of identity types CI #3037: Pull request #2143 synchronize by ThomatoTomato
November 21, 2024 18:39 8s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 21, 2024 18:39 8s
Theorem 5.8.2 from the book: characterizations of identity types CI #3036: Pull request #2143 synchronize by ThomatoTomato
November 21, 2024 18:38 30s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 21, 2024 18:38 30s
Theorem 5.8.2 from the book: characterizations of identity types CI #3035: Pull request #2143 opened by ThomatoTomato
November 21, 2024 16:24 19m 27s ThomatoTomato:IdentitySystems
ThomatoTomato:IdentitySystems
November 21, 2024 16:24 19m 27s
associativity of ideal product CI #3034: Pull request #2121 synchronize by Alizter
November 19, 2024 12:16 19m 21s Alizter:ps/rr/associativity_of_ideal_product
Alizter:ps/rr/associativity_of_ideal_product
November 19, 2024 12:16 19m 21s
associativity of ideal product CI #3033: Pull request #2121 synchronize by jdchristensen
November 19, 2024 02:05 18m 58s Alizter:ps/rr/associativity_of_ideal_product
Alizter:ps/rr/associativity_of_ideal_product
November 19, 2024 02:05 18m 58s
associativity of ideal product CI #3032: Pull request #2121 synchronize by Alizter
November 18, 2024 12:02 20m 7s Alizter:ps/rr/associativity_of_ideal_product
Alizter:ps/rr/associativity_of_ideal_product
November 18, 2024 12:02 20m 7s
associativity of ideal product CI #3031: Pull request #2121 synchronize by Alizter
November 18, 2024 11:52 10m 59s Alizter:ps/rr/associativity_of_ideal_product
Alizter:ps/rr/associativity_of_ideal_product
November 18, 2024 11:52 10m 59s
pages build and deployment pages-build-deployment #322: by github-pages bot
November 17, 2024 23:51 52s gh-pages
gh-pages
November 17, 2024 23:51 52s
Merge pull request #2138 from Alizter/ps/rr/reduce_universes_in_finnat CI #3030: Commit 0200dde pushed by Alizter
November 17, 2024 23:30 19m 37s master
master
November 17, 2024 23:30 19m 37s
cleanup in FinNat CI #3029: Pull request #2138 synchronize by Alizter
November 17, 2024 23:30 19m 37s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 17, 2024 23:30 19m 37s
cleanup in FinNat CI #3028: Pull request #2138 synchronize by Alizter
November 17, 2024 23:19 10m 51s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 17, 2024 23:19 10m 51s
cleanup in FinNat CI #3027: Pull request #2138 synchronize by Alizter
November 17, 2024 20:38 19m 8s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 17, 2024 20:38 19m 8s
cleanup in FinNat CI #3026: Pull request #2138 synchronize by Alizter
November 17, 2024 19:09 4m 50s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 17, 2024 19:09 4m 50s
cleanup in FinNat CI #3025: Pull request #2138 synchronize by Alizter
November 17, 2024 18:54 4m 49s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 17, 2024 18:54 4m 49s
pages build and deployment pages-build-deployment #321: by github-pages bot
November 17, 2024 17:52 52s gh-pages
gh-pages
November 17, 2024 17:52 52s
Merge pull request #2141 from jdchristensen/funext-comment-overture CI #3024: Commit 6647f3a pushed by Alizter
November 17, 2024 17:31 20m 41s master
master
November 17, 2024 17:31 20m 41s
Merge pull request #2142 from jdchristensen/misc-cleanup CI #3023: Commit acf0128 pushed by Alizter
November 17, 2024 17:30 2m 4s master
master
November 17, 2024 17:30 2m 4s
Minor cleanups CI #3022: Pull request #2142 opened by jdchristensen
November 16, 2024 15:12 19m 24s jdchristensen:misc-cleanup
jdchristensen:misc-cleanup
November 16, 2024 15:12 19m 24s
Overture: replace comment about Funext class CI #3021: Pull request #2141 opened by jdchristensen
November 16, 2024 15:08 19m 39s jdchristensen:funext-comment-overture
jdchristensen:funext-comment-overture
November 16, 2024 15:08 19m 39s
cleanup in FinNat CI #3020: Pull request #2138 synchronize by jdchristensen
November 16, 2024 14:27 19m 30s Alizter:ps/rr/reduce_universes_in_finnat
Alizter:ps/rr/reduce_universes_in_finnat
November 16, 2024 14:27 19m 30s
pages build and deployment pages-build-deployment #320: by github-pages bot
November 16, 2024 02:31 50s gh-pages
gh-pages
November 16, 2024 02:31 50s