Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,674 workflow runs
1,674 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2163 from Alizter/ps/rr/add_functoriality_lemmas_… CI #3210: Commit b5786e9 pushed by Alizter
January 3, 2025 22:01 19m 41s master
master
January 3, 2025 22:01 19m 41s
add functoriality lemmas for pushout CI #3209: Pull request #2163 synchronize by Alizter
January 3, 2025 21:48 19m 14s Alizter:ps/rr/add_functoriality_lemmas_for_pushout
Alizter:ps/rr/add_functoriality_lemmas_for_pushout
January 3, 2025 21:48 19m 14s
conjugation of group elements CI #3208: Pull request #2178 synchronize by Alizter
January 3, 2025 21:30 19m 41s Alizter:ps/rr/conjugation_of_group_elements
Alizter:ps/rr/conjugation_of_group_elements
January 3, 2025 21:30 19m 41s
conjugation of group elements CI #3207: Pull request #2178 synchronize by Alizter
January 3, 2025 21:25 5m 11s Alizter:ps/rr/conjugation_of_group_elements
Alizter:ps/rr/conjugation_of_group_elements
January 3, 2025 21:25 5m 11s
conjugation of group elements CI #3206: Pull request #2178 synchronize by Alizter
January 3, 2025 21:21 7m 3s Alizter:ps/rr/conjugation_of_group_elements
Alizter:ps/rr/conjugation_of_group_elements
January 3, 2025 21:21 7m 3s
fix notations in subgroup lemmas CI #3205: Pull request #2182 opened by Alizter
January 3, 2025 21:20 23m 38s Alizter:ps/rr/fix_notations_in_subgroup_lemmas
Alizter:ps/rr/fix_notations_in_subgroup_lemmas
January 3, 2025 21:20 23m 38s
trivial and maximal subgroup are normal CI #3204: Pull request #2181 opened by Alizter
January 3, 2025 21:19 23m 11s Alizter:ps/rr/trivial_and_maximal_subgroup_are_normal_subgroups
Alizter:ps/rr/trivial_and_maximal_subgroup_are_normal_subgroups
January 3, 2025 21:19 23m 11s
Merge pull request #2179 from Alizter/ps/rr/improve_normal_subgroup_l… CI #3203: Commit 00544eb pushed by Alizter
January 3, 2025 21:18 23m 4s master
master
January 3, 2025 21:18 23m 4s
Improve mapping out of a generated subgroup CI #3202: Pull request #2180 opened by Alizter
January 3, 2025 21:17 22m 50s Alizter:ps/rr/better_subgroup_generated_rec_lemma
Alizter:ps/rr/better_subgroup_generated_rec_lemma
January 3, 2025 21:17 22m 50s
improve normal subgroup lemmas CI #3201: Pull request #2179 synchronize by Alizter
January 3, 2025 20:08 20m 23s Alizter:ps/rr/improve_normal_subgroup_lemmas
Alizter:ps/rr/improve_normal_subgroup_lemmas
January 3, 2025 20:08 20m 23s
Merge pull request #2173 from Alizter/ps/rr/complete_and_organise_grp… CI #3200: Commit 3c73789 pushed by Alizter
January 3, 2025 20:07 20m 10s master
master
January 3, 2025 20:07 20m 10s
Merge pull request #2174 from Alizter/ps/rr/abgroup_group_is_a_functor CI #3199: Commit 7e66de2 pushed by Alizter
January 3, 2025 20:07 37s master
master
January 3, 2025 20:07 37s
Merge pull request #2175 from Alizter/ps/rr/remove_implicit_arguments… CI #3198: Commit 6c6527d pushed by Alizter
January 3, 2025 20:06 22s master
master
January 3, 2025 20:06 22s
Merge pull request #2176 from Alizter/ps/rr/add_more_usable_group_can… CI #3197: Commit fe2adfe pushed by Alizter
January 3, 2025 20:06 1m 15s master
master
January 3, 2025 20:06 1m 15s
Merge pull request #2177 from Alizter/ps/rr/make_maximal_subgroup_a_p… CI #3196: Commit 318f57e pushed by Alizter
January 3, 2025 20:05 31s master
master
January 3, 2025 20:05 31s
improve normal subgroup lemmas CI #3195: Pull request #2179 opened by Alizter
January 3, 2025 03:24 7m 25s Alizter:ps/rr/improve_normal_subgroup_lemmas
Alizter:ps/rr/improve_normal_subgroup_lemmas
January 3, 2025 03:24 7m 25s
conjugation of group elements CI #3194: Pull request #2178 opened by Alizter
January 3, 2025 03:23 20m 37s Alizter:ps/rr/conjugation_of_group_elements
Alizter:ps/rr/conjugation_of_group_elements
January 3, 2025 03:23 20m 37s
make maximal_subgroup a printed coercion CI #3193: Pull request #2177 opened by Alizter
January 3, 2025 03:20 19m 25s Alizter:ps/rr/make_maximal_subgroup_a_printed_coercion
Alizter:ps/rr/make_maximal_subgroup_a_printed_coercion
January 3, 2025 03:20 19m 25s
add more usable group cancellation lemmas CI #3192: Pull request #2176 opened by Alizter
January 3, 2025 03:07 22m 38s Alizter:ps/rr/add_more_usable_group_cancellation_lemmas
Alizter:ps/rr/add_more_usable_group_cancellation_lemmas
January 3, 2025 03:07 22m 38s
remove implicit arguments in trivial_subgroup and maximal_subgroup CI #3191: Pull request #2175 opened by Alizter
January 3, 2025 03:05 23m 55s Alizter:ps/rr/remove_implicit_arguments_in_trivial_subgroup_and_maximal_subgroup
Alizter:ps/rr/remove_implicit_arguments_in_trivial_subgroup_and_maximal_subgroup
January 3, 2025 03:05 23m 55s
abgroup_group is a functor CI #3190: Pull request #2174 opened by Alizter
January 3, 2025 03:03 23m 55s Alizter:ps/rr/abgroup_group_is_a_functor
Alizter:ps/rr/abgroup_group_is_a_functor
January 3, 2025 03:03 23m 55s
complete and organise grp_moveL_1M type lemmas CI #3189: Pull request #2173 opened by Alizter
January 3, 2025 03:01 19m 30s Alizter:ps/rr/complete_and_organise_grp_movel_1m_type_lemmas
Alizter:ps/rr/complete_and_organise_grp_movel_1m_type_lemmas
January 3, 2025 03:01 19m 30s
category of group presentations CI #3188: Pull request #2172 synchronize by Alizter
January 1, 2025 05:23 4m 31s Alizter:ps/rr/category_of_group_presentations
Alizter:ps/rr/category_of_group_presentations
January 1, 2025 05:23 4m 31s
category of group presentations CI #3187: Pull request #2172 opened by Alizter
January 1, 2025 05:22 1m 33s Alizter:ps/rr/category_of_group_presentations
Alizter:ps/rr/category_of_group_presentations
January 1, 2025 05:22 1m 33s
Merge pull request #2169 from jdchristensen/ishprop_dec' CI #3186: Commit c3c4896 pushed by Alizter
December 31, 2024 18:32 19m 40s master
master
December 31, 2024 18:32 19m 40s