Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
751 workflow runs
751 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
Merge pull request #858 from vprover/smtlib-goal-annotation CI #2434: Commit 7a8b8b9 pushed by mezpusz
21m 48s master
master
21m 48s
Smtlib goal annotation CI #2433: Pull request #858 synchronize by mezpusz
24m 54s smtlib-goal-annotation
smtlib-goal-annotation
24m 54s
Smtlib goal annotation CI #2432: Pull request #858 synchronize by mezpusz
22m 47s smtlib-goal-annotation
smtlib-goal-annotation
22m 47s
Merge pull request #859 from vprover/fix-divisibility-evaluation CI #2431: Commit 5ca0e4f pushed by mezpusz
25m 6s master
master
25m 6s
Code Coverage Code Coverage #15: Manually run by mezpusz
19m 54s hol-unification
hol-unification
19m 54s
Ignore Unrecognized Logic in SMTCOMP porfolio mode CI #2430: Pull request #864 opened by joe-hauns
21m 17s ignore-unrecognized-logic
ignore-unrecognized-logic
21m 17s
Preparation for CASC HOL 2026 #1 CI #2429: Pull request #862 opened by mezpusz
22m 24s hol-casc-2026
hol-casc-2026
22m 24s
Merge pull request #860 from vprover/matthias-vtest-fix CI #2428: Commit a3f660c pushed by quickbeam123
24m 49s master
master
24m 49s
Sort out FOOL paramodulation and Cases[Simp] CI #2427: Pull request #861 synchronize by mezpusz
19m 22s sort-out-foolp-cases
sort-out-foolp-cases
19m 22s
Sort out FOOL paramodulation and Cases[Simp] CI #2426: Pull request #861 opened by mezpusz
21m 35s sort-out-foolp-cases
sort-out-foolp-cases
21m 35s
Fix logic for handling single-threaded unit tests CI #2425: Pull request #860 opened by hetzenmat
24m 5s matthias-vtest-fix
matthias-vtest-fix
24m 5s
Smtlib goal annotation CI #2424: Pull request #858 synchronize by joe-hauns
21m 12s smtlib-goal-annotation
smtlib-goal-annotation
21m 12s
Fix divisibility evaluation CI #2423: Pull request #859 opened by joe-hauns
24m 27s fix-divisibility-evaluation
fix-divisibility-evaluation
24m 27s
Smtlib goal annotation CI #2422: Pull request #858 opened by joe-hauns
21m 28s smtlib-goal-annotation
smtlib-goal-annotation
21m 28s
Merge pull request #856 from vprover/hol-improvements CI #2421: Commit 72927f3 pushed by MichaelRawson
23m 43s master
master
23m 43s
Merge pull request #855 from vprover/smtlib2.7-define-const CI #2420: Commit cb48381 pushed by MichaelRawson
24m 45s master
master
24m 45s
Hol improvements (continued) CI #2419: Pull request #856 synchronize by mezpusz
24m 48s hol-improvements
hol-improvements
24m 48s
Merge pull request #849 from vprover/skolemization-tstp CI #2418: Commit b81e738 pushed by MichaelRawson
21m 46s master
master
21m 46s
Accept define-const from SMTLIB2.7 CI #2417: Pull request #855 synchronize by mezpusz
22m 29s smtlib2.7-define-const
smtlib2.7-define-const
22m 29s
Skolemization format update CI #2416: Pull request #849 synchronize by i-am-a-teapot
24m 26s skolemization-tstp
skolemization-tstp
24m 26s
Merge pull request #857 from vprover/c++20 CI #2415: Commit eef6af7 pushed by mezpusz
23m 47s master
master
23m 47s
Hol improvements (continued) CI #2414: Pull request #856 synchronize by mezpusz
20m 54s hol-improvements
hol-improvements
20m 54s
Skolemization format update CI #2413: Pull request #849 synchronize by i-am-a-teapot
18m 18s skolemization-tstp
skolemization-tstp
18m 18s
Skolemization format update CI #2412: Pull request #849 synchronize by MichaelRawson
16m 3s skolemization-tstp
skolemization-tstp
16m 3s
Moving to C++20 CI #2411: Pull request #857 opened by mezpusz
25m 39s c++20
c++20
25m 39s