Skip to content

Actions: ybertot/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
15s recovery-trials
recovery-trials
15s
attempt at saving incomplete proofs, but no GitHub macOS CI #13: Commit 61e0495 pushed by ybertot
46m 33s recovery-trials
recovery-trials
46m 33s
attempt at saving incomplete proofs, but no Windows CI #13: Commit 61e0495 pushed by ybertot
1h 0m 57s recovery-trials
recovery-trials
1h 0m 57s
A minimal working example modifying the -vok option of coqc/rocqc suc… Windows CI #12: Commit 1888de1 pushed by ybertot
47m 18s recovery
recovery
47m 18s
A minimal working example modifying the -vok option of coqc/rocqc suc… GitHub macOS CI #12: Commit 1888de1 pushed by ybertot
24m 27s recovery
recovery
24m 27s
A minimal working example modifying the -vok option of coqc/rocqc suc… Check conflicts #37: Commit 1888de1 pushed by ybertot
14s recovery
recovery
14s
attempt at saving incomplete proofs, but no GitHub macOS CI #11: Commit 61e0495 pushed by ybertot
35m 11s recovery
recovery
35m 11s
attempt at saving incomplete proofs, but no Windows CI #11: Commit 61e0495 pushed by ybertot
59m 14s recovery
recovery
59m 14s
attempt at saving incomplete proofs, but no Check conflicts #36: Commit 61e0495 pushed by ybertot
11s recovery
recovery
11s
checkpoint Windows CI #10: Commit d6ab932 pushed by ybertot
49m 47s recovery
recovery
49m 47s
checkpoint GitHub macOS CI #10: Commit d6ab932 pushed by ybertot
41m 43s recovery
recovery
41m 43s
checkpoint Check conflicts #35: Commit d6ab932 pushed by ybertot
14s recovery
recovery
14s
removed uses and of Zeq_bool in setoid_ring Windows CI #9: Commit 0c12a43 pushed by ybertot
50m 3s remove-Zeq_bool
remove-Zeq_bool
50m 3s
removed uses and of Zeq_bool in setoid_ring Check conflicts #34: Commit 0c12a43 pushed by ybertot
14s remove-Zeq_bool
remove-Zeq_bool
14s
removed uses and of Zeq_bool in setoid_ring GitHub macOS CI #9: Commit 0c12a43 pushed by ybertot
31m 16s remove-Zeq_bool
remove-Zeq_bool
31m 16s