Skip to content

Actions: AntoineChambert-Loir/DividedPowers4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

almost nothing .github/workflows/blueprint.yml #148: Commit dae4373 pushed by AntoineChambert-Loir
January 2, 2025 23:17 48s main
main
January 2, 2025 23:17 48s
revised version of IdealAdd .github/workflows/blueprint.yml #147: Commit 3a62ede pushed by AntoineChambert-Loir
January 2, 2025 01:22 51s main
main
January 2, 2025 01:22 51s
try new version of IdealAdd .github/workflows/blueprint.yml #146: Commit 3c27ba2 pushed by AntoineChambert-Loir
January 1, 2025 13:16 49s main
main
January 1, 2025 13:16 49s
proved dpow_comp .github/workflows/blueprint.yml #145: Commit 5a8fc9c pushed by mariainesdff
December 20, 2024 17:24 49s main
main
December 20, 2024 17:24 49s
progress on dpow_comp .github/workflows/blueprint.yml #144: Commit 12904db pushed by mariainesdff
December 20, 2024 12:15 50s main
main
December 20, 2024 12:15 50s
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