Skip to content

Actions: AntoineChambert-Loir/DividedPowers4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add comments and an example to be proved .github/workflows/blueprint.yml #143: Commit d556496 pushed by AntoineChambert-Loir
December 12, 2024 09:54 47s main
main
December 12, 2024 09:54 47s
eliminate 2 .github/workflows/blueprint.yml #142: Commit cdf6943 pushed by AntoineChambert-Loir
December 12, 2024 09:24 47s main
main
December 12, 2024 09:24 47s
make one step in the proof .github/workflows/blueprint.yml #141: Commit 3fe6592 pushed by AntoineChambert-Loir
December 11, 2024 13:45 1m 4s main
main
December 11, 2024 13:45 1m 4s
questions .github/workflows/blueprint.yml #140: Commit 6707991 pushed by mariainesdff
December 10, 2024 21:42 52s main
main
December 10, 2024 21:42 52s
progress on Envelope.lean .github/workflows/blueprint.yml #139: Commit 2ab7725 pushed by mariainesdff
December 4, 2024 15:50 1m 0s main
main
December 4, 2024 15:50 1m 0s
progress on DPEnvelope .github/workflows/blueprint.yml #138: Commit 1f80b41 pushed by mariainesdff
December 3, 2024 15:52 52s main
main
December 3, 2024 15:52 52s
golf, add comments .github/workflows/blueprint.yml #137: Commit 5fe37f0 pushed by mariainesdff
December 3, 2024 12:16 51s main
main
December 3, 2024 12:16 51s
add sections, comments, update imports .github/workflows/blueprint.yml #136: Commit 859699a pushed by mariainesdff
November 14, 2024 16:34 1m 2s main
main
November 14, 2024 16:34 1m 2s
clean up, add comments .github/workflows/blueprint.yml #135: Commit 77a9edf pushed by mariainesdff
November 14, 2024 15:39 50s main
main
November 14, 2024 15:39 50s
comments, golf, namespaces, refactor .github/workflows/blueprint.yml #134: Commit 7323e52 pushed by mariainesdff
November 12, 2024 16:32 53s main
main
November 12, 2024 16:32 53s
more implicit variables .github/workflows/blueprint.yml #133: Commit 5ce0dbd pushed by mariainesdff
October 22, 2024 10:00 59s main
main
October 22, 2024 10:00 59s
golf, lint, add comments .github/workflows/blueprint.yml #132: Commit 0f89c81 pushed by mariainesdff
October 21, 2024 11:54 56s main
main
October 21, 2024 11:54 56s
make n implicit in SubDPIdeal .github/workflows/blueprint.yml #131: Commit 3a1db31 pushed by mariainesdff
October 21, 2024 08:38 59s main
main
October 21, 2024 08:38 59s
min imports .github/workflows/blueprint.yml #130: Commit 4d2473a pushed by mariainesdff
October 20, 2024 17:12 45s main
main
October 20, 2024 17:12 45s
more fixes .github/workflows/blueprint.yml #129: Commit 2266a29 pushed by mariainesdff
October 18, 2024 07:32 49s main
main
October 18, 2024 07:32 49s
more work on basic files .github/workflows/blueprint.yml #128: Commit 30fd623 pushed by mariainesdff
October 17, 2024 15:37 1m 2s main
main
October 17, 2024 15:37 1m 2s
tweak arguments .github/workflows/blueprint.yml #127: Commit 65a4761 pushed by mariainesdff
October 17, 2024 14:40 49s main
main
October 17, 2024 14:40 49s
progress on DPEnvelope .github/workflows/blueprint.yml #126: Commit 895e7b8 pushed by mariainesdff
October 16, 2024 15:47 58s main
main
October 16, 2024 15:47 58s
more changes from meeting .github/workflows/blueprint.yml #125: Commit c7e0882 pushed by mariainesdff
October 4, 2024 10:00 56s main
main
October 4, 2024 10:00 56s
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