Skip to content

Actions: wwylele/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
765 workflow runs
765 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
update a TODO continuous integration #766: Commit b6d580a pushed by wwylele
1s pentagonal
pentagonal
1s
Merge remote-tracking branch 'upstream/master' into pentagonal continuous integration #765: Commit 7d90da3 pushed by wwylele
1s pentagonal
pentagonal
1s
restructure continuous integration #764: Commit 2b9181e pushed by wwylele
1s pentagonal
pentagonal
1s
address comment continuous integration #763: Commit 12bd4ca pushed by wwylele
1s ideal-pow-equiv
ideal-pow-equiv
1s
not ready; staging continuous integration #762: Commit 816bd5d pushed by wwylele
1s pentagonal
pentagonal
1s
Also add domRestrict_comp_codRestrict to RingHom and FirstOrder.Langu… continuous integration #761: Commit 4649517 pushed by wwylele
1s domRestrict-comp-rangeRestrict
domRestrict-comp-rangeRestrict
1s
upgrade in-place continuous integration #760: Commit 2b976da pushed by wwylele
2s ideal-pow-equiv
ideal-pow-equiv
2s
Not ready yet. Merge master continuous integration #759: Commit bcecb86 pushed by wwylele
1s pentagonal
pentagonal
1s
address comments continuous integration #758: Commit df8391a pushed by wwylele
2s ideal-pow-equiv
ideal-pow-equiv
2s
[pre-commit.ci lite] apply automatic fixes continuous integration #757: Commit a3db6bf pushed by pre-commit-ci-lite Bot
2s pentagonal-number
pentagonal-number
2s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #756: Commit 7779b76 pushed by wwylele
1s pentagonal-number
pentagonal-number
1s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #755: Commit 72994ca pushed by wwylele
2s pentagonal-number
pentagonal-number
2s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #754: Commit d6d2244 pushed by wwylele
1s pentagonal-number
pentagonal-number
1s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #753: Commit 2b2261e pushed by wwylele
2s pentagonal-number
pentagonal-number
2s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #752: Commit 599592e pushed by wwylele
1s pentagonal-number
pentagonal-number
1s
Update Mathlib/Combinatorics/Enumerative/Pentagonal.lean continuous integration #751: Commit f56677c pushed by wwylele
2s pentagonal-number
pentagonal-number
2s
tfae seems to appear in lower cases more frequently continuous integration #750: Commit 1c247e9 pushed by wwylele
2s norm-det
norm-det
2s
add injectivity in tfae continuous integration #749: Commit 92593bc pushed by wwylele
1s norm-det
norm-det
1s
feat(Algebra/Module): simp lemma for composing domRestrict and codRes… continuous integration #748: Commit 11b6487 pushed by wwylele
1s domRestrict-comp-rangeRestrict
domRestrict-comp-rangeRestrict
1s
fix typo continuous integration #747: Commit 2bdc633 pushed by wwylele
1s norm-det
norm-det
1s
extract tfae continuous integration #746: Commit 0257db2 pushed by wwylele
1s norm-det
norm-det
1s
chore(Algebra/Module): remove some backward.privateInPublic continuous integration #745: Commit 5e7fbbc pushed by wwylele
1s module-privateInPublic
module-privateInPublic
1s
chore(Algebra/Group): remove backward.privateInPublic continuous integration #744: Commit 50c79bf pushed by wwylele
1s group-privateInPublic
group-privateInPublic
1s
Merge remote-tracking branch 'upstream/master' into affine-shift-1 continuous integration #743: Commit 84ad3bb pushed by wwylele
2s affine-shift-1
affine-shift-1
2s
extract aux lemma continuous integration #742: Commit 61d5a95 pushed by wwylele
2s affine-shift
affine-shift
2s