Skip to content

Actions: AntoineChambert-Loir/DividedPowers4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

meeting changes and mwe .github/workflows/blueprint.yml #124: Commit bd4a0af pushed by mariainesdff
October 4, 2024 09:27 48s main
main
October 4, 2024 09:27 48s
fix remaining files after mathlib update .github/workflows/blueprint.yml #123: Commit f2a0ac0 pushed by mariainesdff
October 1, 2024 12:58 48s main
main
October 1, 2024 12:58 48s
fixes after Mathlib update .github/workflows/blueprint.yml #122: Commit b802898 pushed by mariainesdff
October 1, 2024 10:25 57s main
main
October 1, 2024 10:25 57s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #121: Commit 880677f pushed by AntoineChambert-Loir
September 20, 2024 14:31 45s main
main
September 20, 2024 14:31 45s
update DividedPowers.lean .github/workflows/blueprint.yml #120: Commit 076544e pushed by mariainesdff
September 18, 2024 11:39 46s main
main
September 18, 2024 11:39 46s
changes from meeting .github/workflows/blueprint.yml #119: Commit 029aced pushed by mariainesdff
September 18, 2024 11:18 46s main
main
September 18, 2024 11:18 46s
fix IdealAdd, start Dpow .github/workflows/blueprint.yml #118: Commit 33a1e44 pushed by mariainesdff
September 18, 2024 08:10 46s main
main
September 18, 2024 08:10 46s
fix yet more files .github/workflows/blueprint.yml #117: Commit ae18da8 pushed by mariainesdff
September 17, 2024 16:59 46s main
main
September 17, 2024 16:59 46s
fix PolynomialMap.Homogeneous .github/workflows/blueprint.yml #116: Commit 443999a pushed by mariainesdff
September 17, 2024 15:27 49s main
main
September 17, 2024 15:27 49s
fix more files .github/workflows/blueprint.yml #115: Commit 3735637 pushed by mariainesdff
September 17, 2024 14:04 48s main
main
September 17, 2024 14:04 48s
more fixes after Mathlib update .github/workflows/blueprint.yml #114: Commit e295a8d pushed by mariainesdff
September 17, 2024 11:02 46s main
main
September 17, 2024 11:02 46s
fix GradedRingQuot .github/workflows/blueprint.yml #113: Commit f56636c pushed by mariainesdff
September 17, 2024 10:41 48s main
main
September 17, 2024 10:41 48s
update from #15019 .github/workflows/blueprint.yml #112: Commit fb5b352 pushed by mariainesdff
September 17, 2024 10:12 47s main
main
September 17, 2024 10:12 47s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #111: Commit fc05ab1 pushed by mariainesdff
September 13, 2024 10:59 46s main
main
September 13, 2024 10:59 46s
mv file in PRd folder .github/workflows/blueprint.yml #110: Commit 02a64bd pushed by AntoineChambert-Loir
September 13, 2024 10:28 43s main
main
September 13, 2024 10:28 43s
move file .github/workflows/blueprint.yml #109: Commit c30564a pushed by mariainesdff
September 13, 2024 10:28 52s main
main
September 13, 2024 10:28 52s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #108: Commit 035c297 pushed by AntoineChambert-Loir
September 13, 2024 10:27 49s main
main
September 13, 2024 10:27 49s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #107: Commit 8995a81 pushed by mariainesdff
September 13, 2024 10:25 56s main
main
September 13, 2024 10:25 56s
mv file .github/workflows/blueprint.yml #106: Commit 0cc21d3 pushed by AntoineChambert-Loir
September 13, 2024 10:11 46s main
main
September 13, 2024 10:11 46s
fixes after mathlib update .github/workflows/blueprint.yml #105: Commit aefd575 pushed by mariainesdff
September 13, 2024 10:10 45s main
main
September 13, 2024 10:10 45s
lake update and some organizing .github/workflows/blueprint.yml #104: Commit 829e30e pushed by mariainesdff
September 13, 2024 09:59 49s main
main
September 13, 2024 09:59 49s
update DividedPowers.lean .github/workflows/blueprint.yml #103: Commit dc2b4c9 pushed by AntoineChambert-Loir
August 17, 2024 17:57 39s main
main
August 17, 2024 17:57 39s
update to replace mchoose by uniformBell .github/workflows/blueprint.yml #102: Commit 983c3b4 pushed by AntoineChambert-Loir
August 17, 2024 17:56 40s main
main
August 17, 2024 17:56 40s
add Bell .github/workflows/blueprint.yml #101: Commit 94454fe pushed by AntoineChambert-Loir
August 17, 2024 16:26 43s main
main
August 17, 2024 16:26 43s
update mathlib, cleanup RatAlgebra, add CharP .github/workflows/blueprint.yml #100: Commit b121cea pushed by AntoineChambert-Loir
August 10, 2024 16:03 49s main
main
August 10, 2024 16:03 49s