Skip to content

Actions: co-dan/BI-cutelim

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Define bunched equivalence in two steps Docker CI #81: Commit 332c680 pushed by co-dan
July 27, 2023 09:27 4m 21s main
main
July 27, 2023 09:27 4m 21s
bump readme Docker CI #80: Commit 276ae21 pushed by co-dan
July 24, 2023 15:22 5m 3s main
main
July 24, 2023 15:22 5m 3s
analytic_completion_sound <-> analytic_completion_complete Docker CI #79: Commit fedfdfc pushed by co-dan
July 24, 2023 14:31 5m 32s main
main
July 24, 2023 14:31 5m 32s
fix bunch_decomp_box Docker CI #78: Commit 3fa1cb2 pushed by co-dan
July 24, 2023 13:47 4m 54s main
main
July 24, 2023 13:47 4m 54s
reuse the from_monoid and from_closure code for s4 Docker CI #77: Commit 2c435dd pushed by co-dan
July 17, 2023 15:22 5m 9s main
main
July 17, 2023 15:22 5m 9s
bump coq version Docker CI #76: Commit 16b25c6 pushed by co-dan
July 17, 2023 13:52 4m 12s main
main
July 17, 2023 13:52 4m 12s
alternative version of rules_valid Docker CI #75: Commit 14103e9 pushed by co-dan
July 17, 2023 12:55 6m 0s main
main
July 17, 2023 12:55 6m 0s
fix a lemma in analytic_completion Docker CI #74: Commit fec6390 pushed by co-dan
July 17, 2023 12:10 5m 13s main
main
July 17, 2023 12:10 5m 13s
factor out the representation of bunches better Docker CI #73: Commit c672358 pushed by co-dan
July 16, 2023 15:14 5m 9s main
main
July 16, 2023 15:14 5m 9s
more generic representation of bunches Docker CI #72: Commit 30c22ff pushed by co-dan
July 15, 2023 11:56 5m 1s main
main
July 15, 2023 11:56 5m 1s