Skip to content

Actions: coq-tactician/coq-tactician-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
106 workflow runs
106 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Todo Build #253: Commit 677f20a pushed by LasseBlaauwbroek
19m 18s coq8.11
coq8.11
19m 18s
Todo CI #628: Commit 677f20a pushed by LasseBlaauwbroek
6m 33s coq8.11
coq8.11
6m 33s
One-shot proving oracle using refine CI #627: Commit dc1b5f7 pushed by LasseBlaauwbroek
6m 18s coq8.11
coq8.11
6m 18s
One-shot proving oracle using refine Build #252: Commit dc1b5f7 pushed by LasseBlaauwbroek
21m 16s coq8.11
coq8.11
21m 16s
Allow text predictions in graph mode Build #251: Commit 1696213 pushed by LasseBlaauwbroek
20m 9s coq8.11
coq8.11
20m 9s
Allow text predictions in graph mode CI #626: Commit 1696213 pushed by LasseBlaauwbroek
6m 34s coq8.11
coq8.11
6m 34s
Pytactician 15.3 Build #250: Commit 19b2a24 pushed by LasseBlaauwbroek
22m 24s coq8.11
coq8.11
22m 24s
Pytactician 15.3 CI #625: Commit 19b2a24 pushed by LasseBlaauwbroek
6m 14s coq8.11
coq8.11
6m 14s
CI CI #624: by LasseBlaauwbroek
6m 11s pytactician-v15.3
pytactician-v15.3
6m 11s
Build Build #249: by LasseBlaauwbroek
22m 30s pytactician-v15.3
pytactician-v15.3
22m 30s
Try macos 13 Build #248: Commit bb6baf6 pushed by LasseBlaauwbroek
22m 54s coq8.11
coq8.11
22m 54s
Try macos 13 CI #623: Commit bb6baf6 pushed by LasseBlaauwbroek
6m 22s coq8.11
coq8.11
6m 22s
Upgrade to newer macos runner Build #247: Commit f94409a pushed by LasseBlaauwbroek
2m 50s coq8.11
coq8.11
2m 50s
Upgrade to newer macos runner CI #622: Commit f94409a pushed by LasseBlaauwbroek
6m 10s coq8.11
coq8.11
6m 10s
pytactician v15.2 Build #246: Commit 85c6335 pushed by LasseBlaauwbroek
1d 0h 0m 1s pytactician-v15.2
pytactician-v15.2
1d 0h 0m 1s
pytactician v15.2 CI #621: Commit 85c6335 pushed by LasseBlaauwbroek
6m 30s pytactician-v15.2
pytactician-v15.2
6m 30s
pytactician v15.2 CI #620: Commit 85c6335 pushed by LasseBlaauwbroek
6m 9s coq8.11
coq8.11
6m 9s
pytactician v15.2 Build #245: Commit 85c6335 pushed by LasseBlaauwbroek
1d 0h 0m 1s coq8.11
coq8.11
1d 0h 0m 1s
Merge branch 'coq8.11' into proofs CI #619: Commit 79ecce0 pushed by LasseBlaauwbroek
4m 58s proofs
proofs
4m 58s
Merge branch 'coq8.11' into proofs Build #244: Commit 79ecce0 pushed by LasseBlaauwbroek
4m 2s proofs
proofs
4m 2s
Pin wasm to work around visualization bug CI #618: Commit 3cd1b87 pushed by LasseBlaauwbroek
7m 55s coq8.11
coq8.11
7m 55s
Pin wasm to work around visualization bug Build #243: Commit 3cd1b87 pushed by LasseBlaauwbroek
1d 0h 0m 1s coq8.11
coq8.11
1d 0h 0m 1s
Merge branch 'coq8.11' into generate-dataset CI #617: Commit 8a27db6 pushed by LasseBlaauwbroek
6m 9s generate-dataset
generate-dataset
6m 9s
Merge branch 'coq8.11' into generate-dataset Build #242: Commit 8a27db6 pushed by LasseBlaauwbroek
1d 0h 0m 2s generate-dataset
generate-dataset
1d 0h 0m 2s
Create a fully reproducible sandboxed dataset build CI #616: Commit 4bee6d9 pushed by LasseBlaauwbroek
6m 50s coq8.11
coq8.11
6m 50s