Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...

Showing runs from all workflows named CI
173 workflow run results
173 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #1952 from Alizter/bifunctor-redefin CI #2269: Commit 7c5ce31 pushed by Alizter
May 7, 2024 22:21 17m 48s master
master
May 7, 2024 22:21 17m 48s
Merge pull request #1947 from Alizter/ps/rr/bool__add_convenient_vari… CI #2256: Commit 72ced09 pushed by Alizter
May 4, 2024 14:33 17m 29s master
master
May 4, 2024 14:33 17m 29s
Merge pull request #1949 from Alizter/ps/rr/cleanup_in_abgroups CI #2254: Commit 010c169 pushed by Alizter
May 4, 2024 02:48 17m 49s master
master
May 4, 2024 02:48 17m 49s
Merge pull request #1948 from Alizter/ps/rr/opposite_pointed_category CI #2253: Commit 3173ed9 pushed by Alizter
May 4, 2024 02:48 39s master
master
May 4, 2024 02:48 39s
Merge pull request #1946 from Alizter/ps/rr/rename_cat_coprod_prod_in… CI #2252: Commit 203fce5 pushed by Alizter
May 3, 2024 22:08 18m 13s master
master
May 3, 2024 22:08 18m 13s
Merge pull request #1944 from Alizter/ps/rr/monoidal__convenient_natu… CI #2251: Commit d2457d5 pushed by Alizter
May 3, 2024 22:08 1m 1s master
master
May 3, 2024 22:08 1m 1s
Merge pull request #1943 from Alizter/ps/rr/shorter_proofs_of_monoida… CI #2243: Commit 1c4071d pushed by Alizter
May 2, 2024 21:21 18m 16s master
master
May 2, 2024 21:21 18m 16s
Merge pull request #1942 from Alizter/cleanup_basics CI #2239: Commit ee8cc93 pushed by Alizter
May 2, 2024 19:30 18m 13s master
master
May 2, 2024 19:30 18m 13s
Merge pull request #1940 from Alizter/ps/rr/opposite_rings CI #2237: Commit 2ac6280 pushed by Alizter
May 2, 2024 19:13 16m 46s master
master
May 2, 2024 19:13 16m 46s
Merge pull request #1939 from jdchristensen/more-opposites CI #2218: Commit 8a3a927 pushed by jdchristensen
April 30, 2024 22:46 17m 24s master
master
April 30, 2024 22:46 17m 24s
Merge pull request #1910 from Alizter/ps/rr/bump_to_dune_3_13 CI #2210: Commit c143d87 pushed by Alizter
April 30, 2024 17:30 19m 45s master
master
April 30, 2024 17:30 19m 45s
Merge pull request #1938 from Alizter/ps/rr/optimize_products_v CI #2204: Commit 67d7f92 pushed by Alizter
April 30, 2024 14:51 17m 54s master
master
April 30, 2024 14:51 17m 54s
Merge pull request #1937 from Alizter/ps/rr/single_file_benchmarks CI #2203: Commit e63addc pushed by Alizter
April 30, 2024 14:50 1m 35s master
master
April 30, 2024 14:50 1m 35s
Merge pull request #1935 from Alizter/ps/rr/nix__add_8_18_dev_shell CI #2192: Commit 6f79fd0 pushed by Alizter
April 29, 2024 14:42 17m 27s master
master
April 29, 2024 14:42 17m 27s
Merge pull request #1934 from jdchristensen/opposites-involutive CI #2187: Commit 6a93fb9 pushed by Alizter
April 29, 2024 02:06 17m 44s master
master
April 29, 2024 02:06 17m 44s
Merge pull request #1930 from Alizter/ps/rr/flake_update CI #2175: Commit 6cb7ba0 pushed by Alizter
April 26, 2024 01:08 17m 38s master
master
April 26, 2024 01:08 17m 38s
Merge pull request #1915 from Alizter/wip-symmetric-monoidal CI #2169: Commit 6fa56dc pushed by Alizter
April 24, 2024 14:54 17m 56s master
master
April 24, 2024 14:54 17m 56s
Merge pull request #1925 from Alizter/bifunctor-improvements CI #2157: Commit 08cfa11 pushed by Alizter
April 23, 2024 18:46 17m 55s master
master
April 23, 2024 18:46 17m 55s
Merge pull request #1923 from Alizter/ps/rr/remove_funext_from_double… CI #2134: Commit c0f202e pushed by Alizter
April 17, 2024 15:11 17m 26s master
master
April 17, 2024 15:11 17m 26s
Merge pull request #1920 from Alizter/ps/rr/cleanup_lists CI #2132: Commit c69bf29 pushed by Alizter
April 17, 2024 14:05 18m 17s master
master
April 17, 2024 14:05 18m 17s
Merge pull request #1919 from Alizter/ps/rr/coproduct_product_inclusi… CI #2131: Commit d9ff10e pushed by Alizter
April 17, 2024 13:52 1m 6s master
master
April 17, 2024 13:52 1m 6s
Merge pull request #1916 from Alizter/ps/rr/left_module_basics CI #2129: Commit efc7de7 pushed by Alizter
April 17, 2024 13:47 5m 1s master
master
April 17, 2024 13:47 5m 1s
Merge pull request #1917 from Alizter/ps/rr/more_list_functions___tru… CI #2119: Commit 8b2c106 pushed by Alizter
April 15, 2024 21:43 17m 6s master
master
April 15, 2024 21:43 17m 6s
Merge pull request #1918 from jdchristensen/requires CI #2115: Commit 8381613 pushed by Alizter
April 15, 2024 19:13 17m 40s master
master
April 15, 2024 19:13 17m 40s
Merge pull request #1912 from Alizter/noncomm-rings CI #2111: Commit ef1fa3a pushed by Alizter
April 14, 2024 00:28 17m 18s master
master
April 14, 2024 00:28 17m 18s