Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
670 workflow runs
670 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
build $let definitions of Boolean symbols as formulas CI #2508: Pull request #885 synchronize by shalashaska117
21m 38s shalashaska117:let-bool-definition
shalashaska117:let-bool-definition
21m 38s
Code Coverage Code Coverage #16: Manually run by mezpusz
22m 10s master
master
22m 10s
Merge pull request #890 from shalashaska117/fix-eqmodacrect-renaming CI #2507: Commit 9215937 pushed by mezpusz
21m 30s master
master
21m 30s
Preprocessing extensions CI #2506: Pull request #886 synchronize by quickbeam123
24m 40s martin-preprocess
martin-preprocess
24m 40s
Fix eqModACRect renaming check and Injectivity success_3 expectation CI #2505: Pull request #890 opened by shalashaska117
24m 30s shalashaska117:fix-eqmodacrect-renaming
shalashaska117:fix-eqmodacrect-renaming
24m 30s
Preprocessing extensions CI #2504: Pull request #886 synchronize by quickbeam123
21m 16s martin-preprocess
martin-preprocess
21m 16s
quote axiom names in TSTP CI #2503: Pull request #888 opened by MichaelRawson
24m 5s michael-tstp-quote-axioms
michael-tstp-quote-axioms
24m 5s
Preprocessing extensions CI #2502: Pull request #886 synchronize by quickbeam123
17m 30s martin-preprocess
martin-preprocess
17m 30s
Preprocessing extensions CI #2501: Pull request #886 opened by quickbeam123
24m 35s martin-preprocess
martin-preprocess
24m 35s
build $let definitions of Boolean symbols as formulas CI #2500: Pull request #885 opened by shalashaska117
17m 16s shalashaska117:let-bool-definition
shalashaska117:let-bool-definition
17m 16s
always output TFF in TPTP proofs CI #2499: Pull request #884 synchronize by shalashaska117
24m 36s shalashaska117:tff-proof-output
shalashaska117:tff-proof-output
24m 36s
always output TFF in TPTP proofs CI #2498: Pull request #884 opened by shalashaska117
Action required shalashaska117:tff-proof-output
shalashaska117:tff-proof-output
Action required
Optimization: Share opposite-polarity literals in clause code trees CI #2497: Pull request #880 synchronize by Synrom
16m 24s Synrom:opposite-optimization
Synrom:opposite-optimization
16m 24s
Optimization: Share opposite-polarity literals in clause code trees CI #2496: Pull request #880 synchronize by Synrom
13m 24s Synrom:opposite-optimization
Synrom:opposite-optimization
13m 24s
Optimization: Share opposite-polarity literals in clause code trees CI #2495: Pull request #880 synchronize by Synrom
16m 11s Synrom:opposite-optimization
Synrom:opposite-optimization
16m 11s
Fable tptp parser fixes CI #2494: Pull request #882 synchronize by quickbeam123
21m 12s fable-tptp-parser-fixes
fable-tptp-parser-fixes
21m 12s
Merge pull request #883 from vprover/output-axiom-default CI #2493: Commit 3677326 pushed by MichaelRawson
16m 43s master
master
16m 43s
remove output_axiom_names option CI #2492: Pull request #883 opened by MichaelRawson
13m 44s output-axiom-default
output-axiom-default
13m 44s
More fixes to align with CASC rules CI #2491: Pull request #881 synchronize by mezpusz
14m 52s casc2026-fixes
casc2026-fixes
14m 52s
Fable tptp parser fixes CI #2490: Pull request #882 synchronize by quickbeam123
25m 49s fable-tptp-parser-fixes
fable-tptp-parser-fixes
25m 49s
Fable tptp parser fixes CI #2489: Pull request #882 opened by quickbeam123
24m 23s fable-tptp-parser-fixes
fable-tptp-parser-fixes
24m 23s
Optimization: Share opposite-polarity literals in clause code trees CI #2488: Pull request #880 synchronize by Synrom
13m 4s Synrom:opposite-optimization
Synrom:opposite-optimization
13m 4s
More fixes to align with CASC rules CI #2487: Pull request #881 opened by mezpusz
16m 56s casc2026-fixes
casc2026-fixes
16m 56s
Merge pull request #879 from vprover/casc2026-fixes CI #2486: Commit 7f8772a pushed by MichaelRawson
24m 11s master
master
24m 11s
Casc2026 fixes CI #2485: Pull request #879 synchronize by mezpusz
24m 31s casc2026-fixes
casc2026-fixes
24m 31s