Skip to content
CI

Augment CADICAL_PROVE to raise Satisfiable if counterexample exists #65

Sign in to view logs

Augment CADICAL_PROVE to raise Satisfiable if counterexample exists

Augment CADICAL_PROVE to raise Satisfiable if counterexample exists #65

Triggered via pull request July 16, 2024 19:43
@aqjuneaqjune
opened #104
aqjune:cadical-sat
Status Success
Total duration 8m 46s
Artifacts –

main.yml

on: pull_request
OCaml 4.05, Camlp5 7.10
5m 38s
OCaml 4.05, Camlp5 7.10
OCaml 4.14, Camlp5 8.03 (make switch)
8m 34s
OCaml 4.14, Camlp5 8.03 (make switch)
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
OCaml 4.05, Camlp5 7.10
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.05, Camlp5 7.10
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
OCaml 4.14, Camlp5 8.03 (make switch)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/