Skip to content

Actions: rosborn/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
37 workflow runs
37 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge remote-tracking branch 'origin/master' into rosborn/dirdep-json continuous integration #37: Commit 15dc6b6 pushed by rosborn
1s rosborn/dirdep-json
rosborn/dirdep-json
1s
chore(Data/Nat/GCD/Basic): automated extraction from #40597 (#42712) continuous integration #36: Commit 4fae409 pushed by rosborn
11s master
master
11s
continuous integration continuous integration #35: by rosborn
1s rosborn/subsingleton-commutative
rosborn/subsingleton-commutative
1s
continuous integration continuous integration #34: by rosborn
1s rosborn/nat-unitary-divisor
rosborn/nat-unitary-divisor
1s
continuous integration continuous integration #33: by rosborn
7s rosborn/minimal-normal
rosborn/minimal-normal
7s
continuous integration continuous integration #32: by rosborn
8s rosborn/finsupp-filter-order
rosborn/finsupp-filter-order
8s
continuous integration continuous integration #31: by rosborn
1s rosborn/solvable-transport
rosborn/solvable-transport
1s
continuous integration continuous integration #30: by rosborn
8s rosborn/nat-coprime-support
rosborn/nat-coprime-support
8s
continuous integration continuous integration #29: by rosborn
1s rosborn/pgroup-composite
rosborn/pgroup-composite
1s
continuous integration continuous integration #28: by rosborn
1s rosborn/subgroup-compact-element
rosborn/subgroup-compact-element
1s
continuous integration continuous integration #27: by rosborn
2s rosborn/complement-transport
rosborn/complement-transport
2s
feat(GroupTheory): Sylow subgroups of subgroups with index prime to p continuous integration #26: Commit dcd496a pushed by rosborn
1s rosborn/sylow-cyclic-lemmas
rosborn/sylow-cyclic-lemmas
1s
continuous integration continuous integration #25: by rosborn
1s rosborn/noncomm-picoprod-card
rosborn/noncomm-picoprod-card
1s
continuous integration continuous integration #24: by rosborn
2s rosborn/commutator-lemmas
rosborn/commutator-lemmas
2s
continuous integration continuous integration #23: by rosborn
1s rosborn/factorization-apply
rosborn/factorization-apply
1s
continuous integration continuous integration #22: by rosborn
6s rosborn/pgroup-injective-transport
rosborn/pgroup-injective-transport
6s
continuous integration continuous integration #21: by rosborn
7s rosborn/conj-normalizer-lemmas
rosborn/conj-normalizer-lemmas
7s
continuous integration continuous integration #20: by rosborn
2s rosborn/hall-defs
rosborn/hall-defs
2s
continuous integration continuous integration #19: by rosborn
1s rosborn/quotient-subgroup-equivs
rosborn/quotient-subgroup-equivs
1s
feat(Algebra/Group/Subgroup): subgroupOf under map and comap continuous integration #18: Commit d359cd7 pushed by rosborn
7s rosborn/subgroupof-map-comap
rosborn/subgroupof-map-comap
7s
continuous integration continuous integration #17: by rosborn
1s rosborn/subgroup-card-bridges
rosborn/subgroup-card-bridges
1s
refactor(GroupTheory): generalize coprime independence to Nat.card continuous integration #16: Commit 353e8f1 pushed by rosborn
1s rosborn/coprime-order-natcard
rosborn/coprime-order-natcard
1s
Remove stale readme comment continuous integration #15: Commit d602f16 pushed by rosborn
1s rosborn/dirdep-json
rosborn/dirdep-json
1s
Remove C-style comments from json parsing continuous integration #14: Commit 20f0064 pushed by rosborn
2s rosborn/dirdep-json
rosborn/dirdep-json
2s
Add biInf/sInf versions continuous integration #13: Commit 94bb7bf pushed by rosborn
1s rosborn/iSup-characteristic
rosborn/iSup-characteristic
1s