Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

i386: fix the major problems at least CI #1198: Pull request #513 synchronize by MichaelRawson
December 14, 2023 09:10 13m 53s michael-fix-32-bit
michael-fix-32-bit
December 14, 2023 09:10 13m 53s
actually remove _id from Term, fix goof with TERM_DIST_VAR_UNKNOWN CI #1197: Pull request #514 opened by MichaelRawson
December 14, 2023 09:02 13m 54s michael-fix-term
michael-fix-term
December 14, 2023 09:02 13m 54s
i386: fix the major problems at least CI #1196: Pull request #513 opened by MichaelRawson
December 12, 2023 10:20 14m 9s michael-fix-32-bit
michael-fix-32-bit
December 12, 2023 10:20 14m 9s
Refactoring and Extending Unification with Abstraction CI #1195: Pull request #508 synchronize by joe-hauns
December 12, 2023 07:55 14m 21s joe-uwa-refactor
joe-uwa-refactor
December 12, 2023 07:55 14m 21s
Refactoring and Extending Unification with Abstraction CI #1194: Pull request #508 synchronize by joe-hauns
December 11, 2023 12:36 14m 8s joe-uwa-refactor
joe-uwa-refactor
December 11, 2023 12:36 14m 8s
Refactoring and Extending Unification with Abstraction CI #1193: Pull request #508 synchronize by joe-hauns
December 11, 2023 12:05 13m 57s joe-uwa-refactor
joe-uwa-refactor
December 11, 2023 12:05 13m 57s
Refactoring and Extending Unification with Abstraction CI #1192: Pull request #508 synchronize by joe-hauns
December 11, 2023 11:48 14m 5s joe-uwa-refactor
joe-uwa-refactor
December 11, 2023 11:48 14m 5s
Refactoring and Extending Unification with Abstraction CI #1191: Pull request #508 synchronize by joe-hauns
December 11, 2023 11:38 14m 10s joe-uwa-refactor
joe-uwa-refactor
December 11, 2023 11:38 14m 10s
Refactoring and Extending Unification with Abstraction CI #1190: Pull request #508 synchronize by joe-hauns
December 11, 2023 10:14 14m 26s joe-uwa-refactor
joe-uwa-refactor
December 11, 2023 10:14 14m 26s
mark symbols that should skip congruence axioms explicitly CI #1189: Pull request #511 opened by MichaelRawson
December 8, 2023 16:14 13m 35s michael-mark-congruence-skips
michael-mark-congruence-skips
December 8, 2023 16:14 13m 35s
do not consider {inequality,general} splitting as naming a formula CI #1188: Pull request #510 opened by MichaelRawson
December 8, 2023 10:37 13m 16s michael-no-naming-for-gsp-ins
michael-no-naming-for-gsp-ins
December 8, 2023 10:37 13m 16s
fix URR to be (really) complete also under AVATAR CI #1187: Pull request #507 synchronize by quickbeam123
December 7, 2023 05:02 12m 56s martin-fix-urr
martin-fix-urr
December 7, 2023 05:02 12m 56s
remove USE_ALLOCATOR where it very likely makes no difference CI #1186: Pull request #506 synchronize by MichaelRawson
December 5, 2023 11:10 13m 2s michael-judicious-allocation1
michael-judicious-allocation1
December 5, 2023 11:10 13m 2s
Refactoring and Extending Unification with Abstraction CI #1185: Pull request #508 synchronize by joe-hauns
December 4, 2023 09:50 13m 41s joe-uwa-refactor
joe-uwa-refactor
December 4, 2023 09:50 13m 41s
fix URR to be (really) complete also under AVATAR CI #1184: Pull request #507 synchronize by quickbeam123
December 1, 2023 19:20 12m 36s martin-fix-urr
martin-fix-urr
December 1, 2023 19:20 12m 36s
Refactoring and Extending Unification with Abstraction CI #1183: Pull request #508 synchronize by joe-hauns
December 1, 2023 17:35 13m 22s joe-uwa-refactor
joe-uwa-refactor
December 1, 2023 17:35 13m 22s
Refactoring and Extending Unification with Abstraction CI #1182: Pull request #508 synchronize by joe-hauns
December 1, 2023 17:34 13m 30s joe-uwa-refactor
joe-uwa-refactor
December 1, 2023 17:34 13m 30s
Refactoring and Extending Unification with Abstraction CI #1181: Pull request #508 synchronize by joe-hauns
December 1, 2023 16:34 13m 30s joe-uwa-refactor
joe-uwa-refactor
December 1, 2023 16:34 13m 30s
Refactoring and Extending Unification with Abstraction CI #1180: Pull request #508 opened by joe-hauns
December 1, 2023 16:11 9m 59s joe-uwa-refactor
joe-uwa-refactor
December 1, 2023 16:11 9m 59s
fix URR to be (really) complete also under AVATAR CI #1179: Pull request #507 synchronize by quickbeam123
November 29, 2023 15:38 13m 3s martin-fix-urr
martin-fix-urr
November 29, 2023 15:38 13m 3s
fix URR to be (really) complete also under AVATAR CI #1178: Pull request #507 opened by quickbeam123
November 29, 2023 12:09 13m 0s martin-fix-urr
martin-fix-urr
November 29, 2023 12:09 13m 0s
remove USE_ALLOCATOR where it very likely makes no difference CI #1177: Pull request #506 opened by MichaelRawson
November 27, 2023 12:49 12m 58s michael-judicious-allocation1
michael-judicious-allocation1
November 27, 2023 12:49 12m 58s
remove API CI #1176: Pull request #505 opened by MichaelRawson
November 27, 2023 10:47 13m 2s michael-remove-api
michael-remove-api
November 27, 2023 10:47 13m 2s
use addr2line(1) for stacktraces CI #1175: Pull request #504 synchronize by MichaelRawson
November 27, 2023 10:12 13m 13s michael-addr2line
michael-addr2line
November 27, 2023 10:12 13m 13s
use addr2line(1) for stacktraces CI #1174: Pull request #504 synchronize by MichaelRawson
November 27, 2023 09:57 10m 3s michael-addr2line
michael-addr2line
November 27, 2023 09:57 10m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.