Skip to content

Actions: ybertot/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

attempt at saving incomplete proofs, but no Check conflicts #38: Commit 61e0495 pushed by ybertot
December 13, 2024 16:26 15s recovery-trials
recovery-trials
December 13, 2024 16:26 15s
A minimal working example modifying the -vok option of coqc/rocqc suc… Check conflicts #37: Commit 1888de1 pushed by ybertot
December 13, 2024 11:58 14s recovery
recovery
December 13, 2024 11:58 14s
attempt at saving incomplete proofs, but no Check conflicts #36: Commit 61e0495 pushed by ybertot
December 13, 2024 06:48 11s recovery
recovery
December 13, 2024 06:48 11s
checkpoint Check conflicts #35: Commit d6ab932 pushed by ybertot
December 12, 2024 16:52 14s recovery
recovery
December 12, 2024 16:52 14s
removed uses and of Zeq_bool in setoid_ring Check conflicts #34: Commit 0c12a43 pushed by ybertot
November 6, 2024 10:47 14s remove-Zeq_bool
remove-Zeq_bool
November 6, 2024 10:47 14s
add teams Stamp and Picube in CREDITS Check conflicts #33: Commit f2d105b pushed by ybertot
June 12, 2024 07:58 12s add-projects-CREDITS
add-projects-CREDITS
June 12, 2024 07:58 12s
only prevent cs resolution when there is a simplification Check conflicts #32: Commit e73f274 pushed by ybertot
February 29, 2024 08:55 13s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:55 13s
only prevent cs resolution when there is a simplification Check conflicts #31: Commit e73f274 pushed by ybertot
February 29, 2024 08:51 12s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:51 12s