Skip to content

Actions: HoTT/Coq-HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Variants of decidable_exists_nat CI #3281: Pull request #2199 opened by jdchristensen
January 15, 2025 21:47 19m 29s jdchristensen:decidable-exists
jdchristensen:decidable-exists
January 15, 2025 21:47 19m 29s
Merge pull request #2198 from jdchristensen/misc-cleanups CI #3280: Commit 6f18b61 pushed by Alizter
January 15, 2025 20:03 20m 25s master
master
January 15, 2025 20:03 20m 25s
Merge pull request #2196 from Alizter/ps/rr/definition_of_simple_group CI #3279: Commit 234ede0 pushed by Alizter
January 15, 2025 20:00 3m 22s master
master
January 15, 2025 20:00 3m 22s
Misc cleanups to PathGroupoids, Equiv, HProp and BoundedSearch CI #3278: Pull request #2198 opened by jdchristensen
January 15, 2025 19:21 19m 27s jdchristensen:misc-cleanups
jdchristensen:misc-cleanups
January 15, 2025 19:21 19m 27s
quotient is trivial iff subgroup is maximal CI #3277: Pull request #2197 opened by Alizter
January 15, 2025 18:53 19m 14s Alizter:ps/rr/quotient_is_trivial_iff_subgroup_is_maximal
Alizter:ps/rr/quotient_is_trivial_iff_subgroup_is_maximal
January 15, 2025 18:53 19m 14s
definition of simple group CI #3276: Pull request #2196 opened by Alizter
January 15, 2025 18:52 19m 5s Alizter:ps/rr/definition_of_simple_group
Alizter:ps/rr/definition_of_simple_group
January 15, 2025 18:52 19m 5s
Merge pull request #2195 from Alizter/ps/rr/subgroup_group_iso_lemmas… CI #3275: Commit ef81e30 pushed by Alizter
January 15, 2025 18:44 20m 37s master
master
January 15, 2025 18:44 20m 37s
subgroup_group iso lemmas and all trivial subgroups are iso CI #3274: Pull request #2195 synchronize by Alizter
January 15, 2025 18:38 21m 1s Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
January 15, 2025 18:38 21m 1s
subgroup_group iso lemmas and all trivial subgroups are iso CI #3273: Pull request #2195 synchronize by Alizter
January 15, 2025 18:35 2m 50s Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
January 15, 2025 18:35 2m 50s
subgroup_group iso lemmas and all trivial subgroups are iso CI #3272: Pull request #2195 synchronize by Alizter
January 15, 2025 16:58 19m 14s Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
January 15, 2025 16:58 19m 14s
Merge pull request #2194 from Alizter/ps/rr/maximal_subgroups CI #3271: Commit 7bf77bc pushed by Alizter
January 15, 2025 15:56 20m 2s master
master
January 15, 2025 15:56 20m 2s
maximal subgroups CI #3270: Pull request #2194 synchronize by Alizter
January 15, 2025 15:47 19m 40s Alizter:ps/rr/maximal_subgroups
Alizter:ps/rr/maximal_subgroups
January 15, 2025 15:47 19m 40s
maximal subgroups CI #3269: Pull request #2194 synchronize by Alizter
January 15, 2025 15:47 33s Alizter:ps/rr/maximal_subgroups
Alizter:ps/rr/maximal_subgroups
January 15, 2025 15:47 33s
Merge pull request #2193 from Alizter/ps/rr/lemmas_about_subgroup_pro… CI #3268: Commit 5e762b3 pushed by Alizter
January 15, 2025 15:43 13m 46s master
master
January 15, 2025 15:43 13m 46s
subgroup_group iso lemmas and all trivial subgroups are iso CI #3267: Pull request #2195 synchronize by jdchristensen
January 15, 2025 15:09 19m 28s Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
January 15, 2025 15:09 19m 28s
subgroup_group iso lemmas and all trivial subgroups are iso CI #3266: Pull request #2195 opened by Alizter
January 15, 2025 03:08 21m 5s Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
Alizter:ps/rr/subgroup_group_iso_lemmas_and_all_trivial_subgroups_are_iso
January 15, 2025 03:08 21m 5s
maximal subgroups CI #3265: Pull request #2194 opened by Alizter
January 15, 2025 03:06 19m 24s Alizter:ps/rr/maximal_subgroups
Alizter:ps/rr/maximal_subgroups
January 15, 2025 03:06 19m 24s
lemmas about subgroup product CI #3264: Pull request #2193 opened by Alizter
January 15, 2025 03:04 19m 32s Alizter:ps/rr/lemmas_about_subgroup_product
Alizter:ps/rr/lemmas_about_subgroup_product
January 15, 2025 03:04 19m 32s
Merge pull request #2185 from Alizter/ps/rr/commutator_subgroups CI #3263: Commit d5573d4 pushed by Alizter
January 14, 2025 15:41 20m 31s master
master
January 14, 2025 15:41 20m 31s
Commutators, commutator subgroups and three subgroups lemma CI #3262: Pull request #2185 synchronize by Alizter
January 14, 2025 15:37 20m 44s Alizter:ps/rr/commutator_subgroups
Alizter:ps/rr/commutator_subgroups
January 14, 2025 15:37 20m 44s
Commutators, commutator subgroups and three subgroups lemma CI #3261: Pull request #2185 synchronize by Alizter
January 14, 2025 15:36 1m 52s Alizter:ps/rr/commutator_subgroups
Alizter:ps/rr/commutator_subgroups
January 14, 2025 15:36 1m 52s
Commutators, commutator subgroups and three subgroups lemma CI #3260: Pull request #2185 synchronize by Alizter
January 14, 2025 02:53 19m 26s Alizter:ps/rr/commutator_subgroups
Alizter:ps/rr/commutator_subgroups
January 14, 2025 02:53 19m 26s
Commutators, commutator subgroups and three subgroups lemma CI #3259: Pull request #2185 synchronize by Alizter
January 14, 2025 02:53 48s Alizter:ps/rr/commutator_subgroups
Alizter:ps/rr/commutator_subgroups
January 14, 2025 02:53 48s
Commutators, commutator subgroups and three subgroups lemma CI #3258: Pull request #2185 synchronize by Alizter
January 14, 2025 02:50 3m 15s Alizter:ps/rr/commutator_subgroups
Alizter:ps/rr/commutator_subgroups
January 14, 2025 02:50 3m 15s
Merge pull request #2192 from thchatzidiamantis/ListsTake_ListsBuild_… CI #3257: Commit bb95699 pushed by jdchristensen
January 13, 2025 00:19 19m 54s master
master
January 13, 2025 00:19 19m 54s