Skip to content

Actions: BeibeiX0/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
26 workflow runs
26 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 branch 'master' into Generalized_PentagonalNumbers_xbb continuous integration #26: Commit d19c291 pushed by BeibeiX0
1s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
1s
Apply suggestion from @dagurtomas continuous integration #25: Commit e70ce7c pushed by dagurtomas
2s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
2s
Merge branch 'master' into Generalized_PentagonalNumbers_xbb continuous integration #24: Commit f788039 pushed by dagurtomas
2s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
2s
refactor: simplify code in PentagonalNumbers continuous integration #23: Commit 9b58285 pushed by BeibeiX0
2s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
2s
feat: regenerate the import all files continuous integration #22: Commit 106c1fb pushed by BeibeiX0
1s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
1s
feat(partitions): generalized pentagonal numbers. continuous integration #21: Commit 2af272b pushed by BeibeiX0
1s Generalized_PentagonalNumbers_xbb
Generalized_PentagonalNumbers_xbb
1s
style: apply lint-style updates (bibliography/doc formatting) continuous integration #20: Commit ef9b940 pushed by BeibeiX0
7s generalized_pentagonal_numbers
generalized_pentagonal_numbers
7s
git commit -m "style(Combinatorics/Enumerative): continuous integration #19: Commit b90619f pushed by BeibeiX0
1s generalized_pentagonal_numbers
generalized_pentagonal_numbers
1s
git commit -m "style(Combinatorics/Enumerative): continuous integration #18: Commit c686dc0 pushed by BeibeiX0
1s generalized_pentagonal_numbers
generalized_pentagonal_numbers
1s
[pre-commit.ci lite] apply automatic fixes continuous integration #17: Commit bdef99e pushed by pre-commit-ci-lite Bot
2s generalized_pentagonal_numbers
generalized_pentagonal_numbers
2s
feat(partitions): generalized pentagonal numbers. continuous integration #16: Commit 063bc4d pushed by BeibeiX0
1s generalized_pentagonal_numbers
generalized_pentagonal_numbers
1s
feat: the category of commutative bialgebras (#27120) continuous integration #15: Commit 50468bb pushed by BeibeiX0
1s test
test
1s
git commit -m "Fix formatting: add missing space" continuous integration #14: Commit c6e2cb8 pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
feat: the category of commutative bialgebras (#27120) continuous integration #13: Commit 50468bb pushed by BeibeiX0
Skipped master
master
Skipped
chore: adaptations for batteries#1395 (better Newton starting point f… continuous integration #12: Commit 0950f17 pushed by BeibeiX0
1s master
master
1s
git commit -m "Fix formatting: add missing space" continuous integration #11: Commit e37d360 pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
chore(authors): update authors list continuous integration #10: Commit 616fb9b pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
feat: Nat.log2 <= Real.logb 2 (#27201) continuous integration #9: Commit 9c18b42 pushed by BeibeiX0
2s master
master
2s
first commit continuous integration #8: Commit e31248b pushed by BeibeiX0
3m 14s main
main
3m 14s
chore(authors): update authors list continuous integration #7: Commit f1b344e pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
fix(Combinatorics.Stirling): add missing colons in comments; inline have continuous integration #6: Commit d04b7c1 pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
chore(Stirling): improve tactic clarity and proof readability continuous integration #5: Commit cf8960e pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
delete unused tactic continuous integration #4: Commit 3a2c161 pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
refactor: optimize proof about "simp" continuous integration #3: Commit 84fade0 pushed by BeibeiX0
1s feat/Stirling_numbers
feat/Stirling_numbers
1s
delete unused tactic continuous integration #2: Commit 3a2c161 pushed by BeibeiX0
2s feat/Stirling_numbers
feat/Stirling_numbers
2s