Skip to content

Actions: Alizter/HoTT

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

prove ideal_dist_r in terms of ideal_dist_l CI #1971: Commit 5dac549 pushed by Alizter
November 19, 2024 12:16 5m 8s ps/rr/associativity_of_ideal_product
ps/rr/associativity_of_ideal_product
November 19, 2024 12:16 5m 8s
Ideal: add and use ideal_product_op_triple CI #1970: Commit f155213 pushed by jdchristensen
November 19, 2024 02:05 5m 21s ps/rr/associativity_of_ideal_product
ps/rr/associativity_of_ideal_product
November 19, 2024 02:05 5m 21s
make leftideal_op and rightideal_op into idmap CI #1969: Commit d225245 pushed by Alizter
November 18, 2024 12:02 5m 4s ps/rr/associativity_of_ideal_product
ps/rr/associativity_of_ideal_product
November 18, 2024 12:02 5m 4s
change Lemma to Definition CI #1968: Commit 5f3d2b5 pushed by Alizter
November 18, 2024 11:51 5m 9s ps/rr/associativity_of_ideal_product
ps/rr/associativity_of_ideal_product
November 18, 2024 11:51 5m 9s
pages build and deployment pages-build-deployment #160: by github-pages bot
November 17, 2024 23:51 55s
November 17, 2024 23:51 55s
Merge pull request #2138 from Alizter/ps/rr/reduce_universes_in_finnat CI #1967: Commit 0200dde pushed by Alizter
November 17, 2024 23:31 20m 19s master
master
November 17, 2024 23:31 20m 19s
trim whitespace CI #1966: Commit 7567113 pushed by Alizter
November 17, 2024 23:30 19m 37s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 17, 2024 23:30 19m 37s
revert to other version of path_succ_finnat CI #1965: Commit cdeb723 pushed by Alizter
November 17, 2024 23:19 10m 44s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 17, 2024 23:19 10m 44s
revert removal of path_succ_finnat CI #1964: Commit 7d7e143 pushed by Alizter
November 17, 2024 20:38 19m 17s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 17, 2024 20:38 19m 17s
pages build and deployment pages-build-deployment #159: by github-pages bot
November 17, 2024 20:02 48s
November 17, 2024 20:02 48s
Merge pull request #2141 from jdchristensen/funext-comment-overture CI #1963: Commit 6647f3a pushed by Alizter
November 17, 2024 19:43 19m 18s master
master
November 17, 2024 19:43 19m 18s
rename compute_* lemmas to *_beta* lemmas CI #1962: Commit bee8032 pushed by Alizter
November 17, 2024 19:09 4m 55s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 17, 2024 19:09 4m 55s
remove unused and unnecessary lemmas CI #1961: Commit 2bbce36 pushed by Alizter
November 17, 2024 18:54 4m 47s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 17, 2024 18:54 4m 47s
FinNat: remove Monomorphic keyword CI #1960: Commit 2a7d9da pushed by jdchristensen
November 16, 2024 14:27 18m 58s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 16, 2024 14:27 18m 58s
FinNat: get rid of one more universe variable CI #1959: Commit 8a8c623 pushed by jdchristensen
November 16, 2024 01:21 19m 11s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 16, 2024 01:21 19m 11s
reorganise finite sums (in abgroups) into their own file CI #1958: Commit a50f230 pushed by Alizter
November 14, 2024 21:43 19m 26s ps/rr/reorganise_finite_sums__in_abgroups__into_their_own_file
ps/rr/reorganise_finite_sums__in_abgroups__into_their_own_file
November 14, 2024 21:43 19m 26s
reduce universes in FinNat CI #1957: Commit d360028 pushed by Alizter
November 14, 2024 21:25 22m 13s ps/rr/reduce_universes_in_finnat
ps/rr/reduce_universes_in_finnat
November 14, 2024 21:25 22m 13s
generalise nat_mod_one_l to nat_mod_lt CI #1956: Commit baa5191 pushed by Alizter
November 14, 2024 21:25 6m 30s ps/rr/generalise_nat_mod_one_l_to_nat_mod_lt
ps/rr/generalise_nat_mod_one_l_to_nat_mod_lt
November 14, 2024 21:25 6m 30s
introduce implicit arguments for sig_rec CI #1955: Commit 9adcb27 pushed by Alizter
November 14, 2024 21:25 19m 27s ps/rr/introduce_implicit_arguments_for_sig_rec
ps/rr/introduce_implicit_arguments_for_sig_rec
November 14, 2024 21:25 19m 27s
prove twist hexagon in twist construction CI #1954: Commit 9b4006f pushed by Alizter
November 7, 2024 22:56 19m 1s ps/rr/prove_twist_hexagon_in_twist_construction
ps/rr/prove_twist_hexagon_in_twist_construction
November 7, 2024 22:56 19m 1s
pages build and deployment pages-build-deployment #158: by github-pages bot
November 7, 2024 19:33 56s
November 7, 2024 19:33 56s
Update theories/WildCat/MonoidalCycleConstruction.v CI #1953: Commit 7b76e5c pushed by Alizter
November 7, 2024 19:18 19m 39s ps/rr/cycle_construction_for_symmetric_monoidal_categories
ps/rr/cycle_construction_for_symmetric_monoidal_categories
November 7, 2024 19:18 19m 39s
cycle construction for symmetric monoidal categories CI #1952: Commit 39db85a pushed by Alizter
November 7, 2024 19:12 6m 29s ps/rr/cycle_construction_for_symmetric_monoidal_categories
ps/rr/cycle_construction_for_symmetric_monoidal_categories
November 7, 2024 19:12 6m 29s
Merge pull request #2133 from Alizter/cleanup-tactics CI #1951: Commit bf50a38 pushed by Alizter
November 7, 2024 19:12 21m 58s master
master
November 7, 2024 19:12 21m 58s
Merge pull request #2132 from Alizter/ps/rr/move_twist_construction_i… CI #1950: Commit c404f36 pushed by Alizter
November 7, 2024 19:11 1m 26s master
master
November 7, 2024 19:11 1m 26s