Skip to content

Actions: ybertot/coq

Actions

GitHub macOS CI

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 GitHub macOS CI #13: Commit 61e0495 pushed by ybertot
December 13, 2024 16:26 46m 33s recovery-trials
recovery-trials
December 13, 2024 16:26 46m 33s
A minimal working example modifying the -vok option of coqc/rocqc suc… GitHub macOS CI #12: Commit 1888de1 pushed by ybertot
December 13, 2024 11:58 24m 27s recovery
recovery
December 13, 2024 11:58 24m 27s
attempt at saving incomplete proofs, but no GitHub macOS CI #11: Commit 61e0495 pushed by ybertot
December 13, 2024 06:48 35m 11s recovery
recovery
December 13, 2024 06:48 35m 11s
checkpoint GitHub macOS CI #10: Commit d6ab932 pushed by ybertot
December 12, 2024 16:52 41m 43s recovery
recovery
December 12, 2024 16:52 41m 43s
removed uses and of Zeq_bool in setoid_ring GitHub macOS CI #9: Commit 0c12a43 pushed by ybertot
November 6, 2024 10:47 31m 16s remove-Zeq_bool
remove-Zeq_bool
November 6, 2024 10:47 31m 16s
add teams Stamp and Picube in CREDITS GitHub macOS CI #8: Commit f2d105b pushed by ybertot
June 12, 2024 07:58 35m 53s add-projects-CREDITS
add-projects-CREDITS
June 12, 2024 07:58 35m 53s
only prevent cs resolution when there is a simplification GitHub macOS CI #7: Commit e73f274 pushed by ybertot
February 29, 2024 08:55 56m 31s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:55 56m 31s
only prevent cs resolution when there is a simplification GitHub macOS CI #6: Commit e73f274 pushed by ybertot
February 29, 2024 08:51 56m 5s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:51 56m 5s