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

fix CombinatoricsLemmas after mathlib update .github/workflows/blueprint.yml #24: Commit b986c62 pushed by mariainesdff
June 5, 2024 16:07 45s main
main
June 5, 2024 16:07 45s
fix some errors after mathlib update .github/workflows/blueprint.yml #23: Commit bbf00fb pushed by mariainesdff
June 5, 2024 16:02 47s main
main
June 5, 2024 16:02 47s
update mathlib to 4.8.0-rc2 .github/workflows/blueprint.yml #22: Commit 19539b5 pushed by AntoineChambert-Loir
June 5, 2024 15:48 38s main
main
June 5, 2024 15:48 38s
replace errors with sorries .github/workflows/blueprint.yml #21: Commit 58188b3 pushed by AntoineChambert-Loir
June 5, 2024 14:58 16m 3s main
main
June 5, 2024 14:58 16m 3s
change lemma name .github/workflows/blueprint.yml #20: Commit b6ac4a1 pushed by mariainesdff
June 5, 2024 14:48 5m 7s main
main
June 5, 2024 14:48 5m 7s
progress on BaseChange .github/workflows/blueprint.yml #19: Commit 5cdd03c pushed by mariainesdff
June 5, 2024 14:35 4m 3s main
main
June 5, 2024 14:35 4m 3s
incomplete work on DPAlgebra/Dpow .github/workflows/blueprint.yml #18: Commit 43ea6ec pushed by AntoineChambert-Loir
June 5, 2024 14:33 4m 46s main
main
June 5, 2024 14:33 4m 46s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #17: Commit 0905835 pushed by AntoineChambert-Loir
May 23, 2024 03:35 4m 38s main
main
May 23, 2024 03:35 4m 38s
progress on DPAlgebra.BaseChange .github/workflows/blueprint.yml #16: Commit 5612a80 pushed by mariainesdff
May 21, 2024 14:38 55m 25s main
main
May 21, 2024 14:38 55m 25s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #15: Commit 4deb580 pushed by mariainesdff
May 21, 2024 12:05 1h 11m 39s main
main
May 21, 2024 12:05 1h 11m 39s
adjust the comment, but no real progress .github/workflows/blueprint.yml #14: Commit 3215674 pushed by AntoineChambert-Loir
May 20, 2024 04:01 9m 35s main
main
May 20, 2024 04:01 9m 35s
proof of Roby, lemma 4 .github/workflows/blueprint.yml #13: Commit 2e90e47 pushed by AntoineChambert-Loir
May 18, 2024 19:45 4m 16s main
main
May 18, 2024 19:45 4m 16s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #12: Commit a63c430 pushed by mariainesdff
May 16, 2024 11:29 9m 37s main
main
May 16, 2024 11:29 9m 37s
fix a typo .github/workflows/blueprint.yml #11: Commit 00f2c01 pushed by AntoineChambert-Loir
May 15, 2024 23:55 8m 45s main
main
May 15, 2024 23:55 8m 45s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #10: Commit a309095 pushed by AntoineChambert-Loir
May 15, 2024 23:43 4m 9s main
main
May 15, 2024 23:43 4m 9s
undo changes to lake-manifest.json .github/workflows/blueprint.yml #9: Commit 45d91ed pushed by mariainesdff
May 15, 2024 17:55 15m 57s main
main
May 15, 2024 17:55 15m 57s
update blueprint.yml and lake-manifest.json .github/workflows/blueprint.yml #8: Commit e9cf755 pushed by mariainesdff
May 15, 2024 17:50 38s main
main
May 15, 2024 17:50 38s
update lake-manifest.json .github/workflows/blueprint.yml #7: Commit fee0f50 pushed by mariainesdff
May 15, 2024 17:29 14m 13s main
main
May 15, 2024 17:29 14m 13s
update lake-manifest.json .github/workflows/blueprint.yml #6: Commit c0408fd pushed by mariainesdff
May 15, 2024 17:27 46s main
main
May 15, 2024 17:27 46s
update blueprint.yml .github/workflows/blueprint.yml #5: Commit ca4af8e pushed by mariainesdff
May 15, 2024 17:23 37s main
main
May 15, 2024 17:23 37s
update blueprint.yml .github/workflows/blueprint.yml #4: Commit b8bc955 pushed by mariainesdff
May 15, 2024 17:00 48s main
main
May 15, 2024 17:00 48s
update blueprint test .github/workflows/blueprint.yml #3: Commit af07955 pushed by mariainesdff
May 15, 2024 16:44 3m 57s main
main
May 15, 2024 16:44 3m 57s
add comment .github/workflows/blueprint.yml #2: Commit 720657a pushed by mariainesdff
May 15, 2024 14:32 3m 50s main
main
May 15, 2024 14:32 3m 50s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #1: Commit 64047d2 pushed by mariainesdff
May 15, 2024 14:01 3m 59s main
main
May 15, 2024 14:01 3m 59s