Skip to content

Actions: ybertot/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
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
attempt at saving incomplete proofs, but no Windows CI #13: Commit 61e0495 pushed by ybertot
December 13, 2024 16:26 1h 0m 57s recovery-trials
recovery-trials
December 13, 2024 16:26 1h 0m 57s
A minimal working example modifying the -vok option of coqc/rocqc suc… Windows CI #12: Commit 1888de1 pushed by ybertot
December 13, 2024 11:58 47m 18s recovery
recovery
December 13, 2024 11:58 47m 18s
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
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 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
attempt at saving incomplete proofs, but no Windows CI #11: Commit 61e0495 pushed by ybertot
December 13, 2024 06:48 59m 14s recovery
recovery
December 13, 2024 06:48 59m 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 Windows CI #10: Commit d6ab932 pushed by ybertot
December 12, 2024 16:52 49m 47s recovery
recovery
December 12, 2024 16:52 49m 47s
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
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 Windows CI #9: Commit 0c12a43 pushed by ybertot
November 6, 2024 10:47 50m 3s remove-Zeq_bool
remove-Zeq_bool
November 6, 2024 10:47 50m 3s
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
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 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
add teams Stamp and Picube in CREDITS Windows CI #8: Commit f2d105b pushed by ybertot
June 12, 2024 07:58 38m 8s add-projects-CREDITS
add-projects-CREDITS
June 12, 2024 07:58 38m 8s
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 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 Windows CI #7: Commit e73f274 pushed by ybertot
February 29, 2024 08:55 1h 4m 50s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:55 1h 4m 50s
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 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
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
only prevent cs resolution when there is a simplification Windows CI #6: Commit e73f274 pushed by ybertot
February 29, 2024 08:51 45m 45s demo-liberabaci-feb-2024
demo-liberabaci-feb-2024
February 29, 2024 08:51 45m 45s