Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
705 workflow runs
705 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
More fixes to align with CASC rules CI #2543: Pull request #881 synchronize by mezpusz
24m 27s casc2026-fixes
casc2026-fixes
24m 27s
More fixes to align with CASC rules CI #2542: Pull request #881 synchronize by mezpusz
20m 52s casc2026-fixes
casc2026-fixes
20m 52s
More fixes to align with CASC rules CI #2541: Pull request #881 synchronize by mezpusz
24m 26s casc2026-fixes
casc2026-fixes
24m 26s
More fixes to align with CASC rules CI #2540: Pull request #881 synchronize by mezpusz
20m 46s casc2026-fixes
casc2026-fixes
20m 46s
More fixes to align with CASC rules CI #2539: Pull request #881 synchronize by mezpusz
15m 51s casc2026-fixes
casc2026-fixes
15m 51s
More fixes to align with CASC rules CI #2538: Pull request #881 synchronize by mezpusz
24m 4s casc2026-fixes
casc2026-fixes
24m 4s
output proofs in the TPTP fragment of the input problem CI #2537: Pull request #884 synchronize by shalashaska117
30m 35s shalashaska117:tff-proof-output
shalashaska117:tff-proof-output
30m 35s
output proofs in the TPTP fragment of the input problem CI #2536: Pull request #884 synchronize by shalashaska117
15m 52s shalashaska117:tff-proof-output
shalashaska117:tff-proof-output
15m 52s
output proofs in the TPTP fragment of the input problem CI #2535: Pull request #884 synchronize by shalashaska117
24m 22s shalashaska117:tff-proof-output
shalashaska117:tff-proof-output
24m 22s
Randomized simplifications CI #2534: Pull request #896 opened by quickbeam123
24m 31s randomized-simplifications
randomized-simplifications
24m 31s
Randomized preprocessing CI #2533: Pull request #895 opened by quickbeam123
21m 55s randomized-preprocessing
randomized-preprocessing
21m 55s
Preprocessing extensions CI #2532: Pull request #886 synchronize by quickbeam123
21m 40s martin-preprocess
martin-preprocess
21m 40s
Preprocessing extensions CI #2531: Pull request #886 synchronize by quickbeam123
24m 5s martin-preprocess
martin-preprocess
24m 5s
Preprocessing extensions CI #2530: Pull request #886 synchronize by quickbeam123
23m 55s martin-preprocess
martin-preprocess
23m 55s
Preprocessing extensions CI #2529: Pull request #886 synchronize by quickbeam123
21m 2s martin-preprocess
martin-preprocess
21m 2s
Preprocessing extensions CI #2528: Pull request #886 synchronize by quickbeam123
25m 8s martin-preprocess
martin-preprocess
25m 8s
Preprocessing extensions CI #2527: Pull request #886 synchronize by quickbeam123
24m 14s martin-preprocess
martin-preprocess
24m 14s
Preprocessing extensions CI #2526: Pull request #886 synchronize by quickbeam123
21m 19s martin-preprocess
martin-preprocess
21m 19s
More fixes to align with CASC rules CI #2525: Pull request #881 synchronize by mezpusz
24m 36s casc2026-fixes
casc2026-fixes
24m 36s
More fixes to align with CASC rules CI #2524: Pull request #881 synchronize by mezpusz
24m 1s casc2026-fixes
casc2026-fixes
24m 1s
fix wrong answer from -newcnf on with two or more Boolean lets CI #2523: Pull request #894 opened by shalashaska117
23m 25s shalashaska117:fix-newcnf-let-occurrences
shalashaska117:fix-newcnf-let-occurrences
23m 25s
More fixes to align with CASC rules CI #2522: Pull request #881 synchronize by mezpusz
15m 12s casc2026-fixes
casc2026-fixes
15m 12s
More fixes to align with CASC rules CI #2521: Pull request #881 synchronize by mezpusz
13m 26s casc2026-fixes
casc2026-fixes
13m 26s
Optimization: Share opposite-polarity literals in clause code trees CI #2520: Pull request #880 synchronize by Synrom
24m 46s Synrom:opposite-optimization
Synrom:opposite-optimization
24m 46s
More fixes to align with CASC rules CI #2519: Pull request #881 synchronize by mezpusz
14m 36s casc2026-fixes
casc2026-fixes
14m 36s