Skip to content

Actions: runtimeverification/kontrol

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
366 workflow run results
366 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement fast summarization Test PR #1356: Pull request #271 synchronize by anvacaru
January 13, 2024 10:35 53m 24s fast-summarization
fast-summarization
January 13, 2024 10:35 53m 24s
Implement fast summarization Test PR #1355: Pull request #271 synchronize by rv-jenkins
January 12, 2024 18:07 1h 7m 23s fast-summarization
fast-summarization
January 12, 2024 18:07 1h 7m 23s
Implement fast summarization Test PR #1354: Pull request #271 opened by anvacaru
January 12, 2024 18:07 18s fast-summarization
fast-summarization
January 12, 2024 18:07 18s
Enable generating KEVM claims from the basic blocks of Kontrol KCFGs Test PR #1353: Pull request #262 synchronize by rv-jenkins
January 12, 2024 17:10 1h 3m 56s kevm-claims
kevm-claims
January 12, 2024 17:10 1h 3m 56s
Enable generating KEVM claims from the basic blocks of Kontrol KCFGs Test PR #1352: Pull request #262 synchronize by ehildenb
January 12, 2024 17:10 19s kevm-claims
kevm-claims
January 12, 2024 17:10 19s
Added comment to kontrol summary auto-generated file Test PR #1351: Pull request #263 synchronize by rv-jenkins
January 12, 2024 11:48 2h 7m 32s comment-auto-gen-file
comment-auto-gen-file
January 12, 2024 11:48 2h 7m 32s
Added comment to kontrol summary auto-generated file Test PR #1350: Pull request #263 synchronize by lisandrasilva
January 12, 2024 11:48 19s comment-auto-gen-file
comment-auto-gen-file
January 12, 2024 11:48 19s
Verify proveX and checkX functions similarly to testX Test PR #1349: Pull request #249 synchronize by palinatolmach
January 12, 2024 08:54 47m 5s rescrict-test-names
rescrict-test-names
January 12, 2024 08:54 47m 5s
Verify proveX and checkX functions similarly to testX Test PR #1348: Pull request #249 synchronize by palinatolmach
January 12, 2024 07:54 1h 0m 50s rescrict-test-names
rescrict-test-names
January 12, 2024 07:54 1h 0m 50s
Verify proveX and checkX functions similarly to testX Test PR #1347: Pull request #249 synchronize by rv-jenkins
January 12, 2024 07:44 10m 49s rescrict-test-names
rescrict-test-names
January 12, 2024 07:44 10m 49s
Verify proveX and checkX functions similarly to testX Test PR #1346: Pull request #249 synchronize by palinatolmach
January 12, 2024 07:44 47s rescrict-test-names
rescrict-test-names
January 12, 2024 07:44 47s
Verify proveX and checkX functions similarly to testX Test PR #1345: Pull request #249 synchronize by palinatolmach
January 12, 2024 07:06 38m 15s rescrict-test-names
rescrict-test-names
January 12, 2024 07:06 38m 15s
Verify proveX and checkX functions similarly to testX Test PR #1344: Pull request #249 synchronize by rv-jenkins
January 12, 2024 06:10 56m 30s rescrict-test-names
rescrict-test-names
January 12, 2024 06:10 56m 30s
Verify proveX and checkX functions similarly to testX Test PR #1343: Pull request #249 synchronize by palinatolmach
January 12, 2024 06:10 18s rescrict-test-names
rescrict-test-names
January 12, 2024 06:10 18s
Update dependency: deps/kevm_release Test PR #1342: Pull request #268 synchronize by rv-jenkins
January 12, 2024 06:04 1h 2m 32s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 12, 2024 06:04 1h 2m 32s
Update dependency: deps/kevm_release Test PR #1341: Pull request #268 synchronize by rv-jenkins
January 12, 2024 06:00 3m 46s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 12, 2024 06:00 3m 46s
Update dependency: deps/kevm_release Test PR #1340: Pull request #268 synchronize by rv-jenkins
January 12, 2024 04:24 54m 57s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 12, 2024 04:24 54m 57s
Update dependency: deps/kevm_release Test PR #1339: Pull request #268 synchronize by anvacaru
January 12, 2024 04:24 19s _update-deps/runtimeverification/evm-semantics
_update-deps/runtimeverification/evm-semantics
January 12, 2024 04:24 19s
Disable legacy backend integration tests Test PR #1338: Pull request #269 synchronize by rv-jenkins
January 12, 2024 02:11 58m 30s noah/disable-legacy-tests
noah/disable-legacy-tests
January 12, 2024 02:11 58m 30s
Disable legacy backend integration tests Test PR #1337: Pull request #269 opened by nwatson22
January 12, 2024 02:11 18s noah/disable-legacy-tests
noah/disable-legacy-tests
January 12, 2024 02:11 18s
Write KompiledKore data structures on foundry_kompile Test PR #1336: Pull request #227 synchronize by rv-jenkins
January 11, 2024 18:32 1h 50m 42s cache-kprint
cache-kprint
January 11, 2024 18:32 1h 50m 42s
Write KompiledKore data structures on foundry_kompile Test PR #1335: Pull request #227 synchronize by tothtamas28
January 11, 2024 18:32 19s cache-kprint
cache-kprint
January 11, 2024 18:32 19s
Write KompiledKore data structures on foundry_kompile Test PR #1334: Pull request #227 synchronize by rv-jenkins
January 11, 2024 17:43 49m 28s cache-kprint
cache-kprint
January 11, 2024 17:43 49m 28s
Write KompiledKore data structures on foundry_kompile Test PR #1333: Pull request #227 synchronize by rv-jenkins
January 11, 2024 17:42 17s cache-kprint
cache-kprint
January 11, 2024 17:42 17s
Enable more Kontrol tests on booster Test PR #1332: Pull request #260 synchronize by ehildenb
January 11, 2024 17:35 2h 47m 41s enable-tests
enable-tests
January 11, 2024 17:35 2h 47m 41s