Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
111 workflow run results
111 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use gnu tar format for the bug reports Test PR #422: Pull request #4548 opened by geo2a
July 24, 2024 15:40 20s bugreport-gnu-tar
bugreport-gnu-tar
July 24, 2024 15:40 20s
Resolve non-determinism in minInt Test PR #421: Pull request #4544 opened by geo2a
July 23, 2024 08:21 20s georgy/fix-minInt
georgy/fix-minInt
July 23, 2024 08:21 20s
Merge node Test PR #420: Pull request #4541 opened by Stevengre
July 22, 2024 08:09 21s merge-node
merge-node
July 22, 2024 08:09 21s
Hotfix adjust sed expression for flake update hs backend Test PR #419: Pull request #4539 opened by jberthold
July 22, 2024 00:15 21s HOTFIX-adjust-sed-expression-for-flake-update-hs-backend
HOTFIX-adjust-sed-expression-for-flake-update-hs-backend
July 22, 2024 00:15 21s
Further fine-tune Int2Bytes(Int, Endianness, Signedness) equations for booster Test PR #418: Pull request #4533 opened by jberthold
July 19, 2024 03:52 20s HOTFIX-Int2Bytes-refactoring-no-2
HOTFIX-Int2Bytes-refactoring-no-2
July 19, 2024 03:52 20s
Adding --proof-hint flag to PyK KRun Test PR #417: Pull request #4532 opened by Robertorosmaninho
July 18, 2024 23:30 26s pi2/proof-hint-flag-to-pyk-krun
pi2/proof-hint-flag-to-pyk-krun
July 18, 2024 23:30 26s
Fix crash with failure info with custom multiplicity cells Test PR #416: Pull request #4531 opened by nwatson22
July 18, 2024 19:31 19s noah/failure-info-mapcell
noah/failure-info-mapcell
July 18, 2024 19:31 19s
install-build-deps script Test PR #415: Pull request #4505 synchronize by 0cjs
July 17, 2024 13:03 12s 0cjs:dev/cjs/24g05/install-build-deps-script
0cjs:dev/cjs/24g05/install-build-deps-script
July 17, 2024 13:03 12s
Adapt kore-integration-tests dev shell to new name Test PR #414: Pull request #4527 opened by jberthold
July 17, 2024 00:04 23s HOTFIX-restore-hs-backend-integration-test-nix-shell
HOTFIX-restore-hs-backend-integration-test-nix-shell
July 17, 2024 00:04 23s
Make request IDs unique across clients Test PR #412: Pull request #4524 opened by nwatson22
July 16, 2024 11:52 19s noah/unique-request-id
noah/unique-request-id
July 16, 2024 11:52 19s
install-build-deps script Test PR #411: Pull request #4505 synchronize by 0cjs
July 16, 2024 11:49 12s 0cjs:dev/cjs/24g05/install-build-deps-script
0cjs:dev/cjs/24g05/install-build-deps-script
July 16, 2024 11:49 12s
mark Int2Bytes(Int,Endianness,Signedness) rules as preserving definedness Test PR #410: Pull request #4522 opened by jberthold
July 15, 2024 06:52 19s HOTFIX-add-definedness-annotation-to-Int2Byte-conversions
HOTFIX-add-definedness-annotation-to-Int2Byte-conversions
July 15, 2024 06:52 19s
4425 node merging to reduce branching for cse Test PR #409: Pull request #4521 opened by Stevengre
July 15, 2024 03:39 21s 4425-node-merging-to-reduce-branching-for-cse
4425-node-merging-to-reduce-branching-for-cse
July 15, 2024 03:39 21s
Allow log origin "proxy" Test PR #408: Pull request #4520 opened by geo2a
July 12, 2024 15:36 21s rpc-log-origin-proxy
rpc-log-origin-proxy
July 12, 2024 15:36 21s
fix llvm-kompile being passed more options conventionally Test PR #407: Pull request #4514 opened by dwightguth
July 10, 2024 14:31 20s fix-opt2
fix-opt2
July 10, 2024 14:31 20s
fix bug in inference of parametric sorts Test PR #406: Pull request #4513 opened by dwightguth
July 10, 2024 14:30 19s mint2
mint2
July 10, 2024 14:30 19s
Bug report sequence storage changes Test PR #405: Pull request #4509 opened by nwatson22
July 9, 2024 18:54 21s noah/bug-report-sequencing
noah/bug-report-sequencing
July 9, 2024 18:54 21s
Fix match_with_constraint Test PR #400: Pull request #4499 opened by tothtamas28
July 4, 2024 09:10 19s fix-cterm-match
fix-cterm-match
July 4, 2024 09:10 19s
make llvm-kompile-matching script slightly more robust Test PR #399: Pull request #4498 opened by dwightguth
July 3, 2024 18:06 21s matching
matching
July 3, 2024 18:06 21s
Delay further steps / jobs until kframework is available on PyPi Test PR #398: Pull request #4490 opened by F-WRunTime
June 27, 2024 22:39 22s pyk-publish-delay
pyk-publish-delay
June 27, 2024 22:39 22s
Delay Moving On, Until Pyk is Public on PyPi Test PR #397: Pull request #4489 synchronize by F-WRunTime
June 27, 2024 22:32 23s pyk-publish-delay
pyk-publish-delay
June 27, 2024 22:32 23s
Delay Moving On, Until Pyk is Public on PyPi Test PR #396: Pull request #4489 opened by F-WRunTime
June 27, 2024 22:32 17s pyk-publish-delay
pyk-publish-delay
June 27, 2024 22:32 17s
add command line flag to enable debug info in proof trace Test PR #395: Pull request #4483 opened by dwightguth
June 26, 2024 11:53 25s proof-hint-debugging
proof-hint-debugging
June 26, 2024 11:53 25s
Add RangeMap functionality to Pyk Test PR #394: Pull request #4482 opened by Scott-Guest
June 25, 2024 22:54 20s range-map-pyk
range-map-pyk
June 25, 2024 22:54 20s
Fix bug report request IDs being reset when using multiple KoreClients Test PR #393: Pull request #4480 opened by nwatson22
June 25, 2024 17:48 22s noah/bug-report-fix
noah/bug-report-fix
June 25, 2024 17:48 22s