Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Z3VersionBump Test PR #3015: Pull request #3688 edited by rv-jenkins
October 3, 2023 20:29 40m 22s hotfix/z3-version-sync
hotfix/z3-version-sync
October 3, 2023 20:29 40m 22s
Packaging: Move version into lib/kframework Test PR #3014: Pull request #3683 synchronize by rv-jenkins
October 3, 2023 18:40 1h 5m 37s version-file
version-file
October 3, 2023 18:40 1h 5m 37s
Introduces --debugger-command flag to krun Test PR #3013: Pull request #3687 synchronize by Robertorosmaninho
October 3, 2023 18:06 1h 47m 45s new-debugger-flag-in-krun
new-debugger-flag-in-krun
October 3, 2023 18:06 1h 47m 45s
Introduces --debugger-command flag to krun Test PR #3012: Pull request #3687 synchronize by Robertorosmaninho
October 3, 2023 18:04 2m 0s new-debugger-flag-in-krun
new-debugger-flag-in-krun
October 3, 2023 18:04 2m 0s
Introduces --debugger-command flag to krun Test PR #3011: Pull request #3687 edited by rv-jenkins
October 3, 2023 17:14 39m 9s new-debugger-flag-in-krun
new-debugger-flag-in-krun
October 3, 2023 17:14 39m 9s
Implement new sort inference algorithm Test PR #3010: Pull request #3673 edited by Scott-Guest
October 3, 2023 16:00 33m 42s new-type-inference
new-type-inference
October 3, 2023 16:00 33m 42s
Implement new sort inference algorithm Test PR #3009: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:59 1m 20s new-type-inference
new-type-inference
October 3, 2023 15:59 1m 20s
Implement new sort inference algorithm Test PR #3008: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:57 2m 25s new-type-inference
new-type-inference
October 3, 2023 15:57 2m 25s
Implement new sort inference algorithm Test PR #3007: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:27 22m 30s new-type-inference
new-type-inference
October 3, 2023 15:27 22m 30s
Implement new sort inference algorithm Test PR #3006: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:19 8m 15s new-type-inference
new-type-inference
October 3, 2023 15:19 8m 15s
Implement new sort inference algorithm Test PR #3005: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:18 1m 19s new-type-inference
new-type-inference
October 3, 2023 15:18 1m 19s
Implement new sort inference algorithm Test PR #3004: Pull request #3673 edited by Scott-Guest
October 3, 2023 15:15 3m 50s new-type-inference
new-type-inference
October 3, 2023 15:15 3m 50s
Builing MacOS Package on MacOS 13 Test PR #3003: Pull request #3686 synchronize by Robertorosmaninho
October 3, 2023 15:08 29m 32s change-build-macos-runner
change-build-macos-runner
October 3, 2023 15:08 29m 32s
Implement new sort inference algorithm Test PR #3002: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:48 27m 40s new-type-inference
new-type-inference
October 3, 2023 14:48 27m 40s
Implement new sort inference algorithm Test PR #3001: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:47 45s new-type-inference
new-type-inference
October 3, 2023 14:47 45s
Implement new sort inference algorithm Test PR #3000: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:46 1m 35s new-type-inference
new-type-inference
October 3, 2023 14:46 1m 35s
Implement new sort inference algorithm Test PR #2999: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:45 36s new-type-inference
new-type-inference
October 3, 2023 14:45 36s
Implement new sort inference algorithm Test PR #2998: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:45 32s new-type-inference
new-type-inference
October 3, 2023 14:45 32s
Implement new sort inference algorithm Test PR #2997: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:44 1m 14s new-type-inference
new-type-inference
October 3, 2023 14:44 1m 14s
Implement new sort inference algorithm Test PR #2996: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:43 1m 5s new-type-inference
new-type-inference
October 3, 2023 14:43 1m 5s
Implement new sort inference algorithm Test PR #2995: Pull request #3673 edited by Scott-Guest
October 3, 2023 14:42 40s new-type-inference
new-type-inference
October 3, 2023 14:42 40s
Builing MacOS Package on MacOS 13 Test PR #2994: Pull request #3686 synchronize by Robertorosmaninho
October 3, 2023 13:44 1h 7m 9s change-build-macos-runner
change-build-macos-runner
October 3, 2023 13:44 1h 7m 9s
Builing MacOS Package on MacOS 13 Test PR #2993: Pull request #3686 synchronize by Robertorosmaninho
October 3, 2023 12:08 1h 3m 31s change-build-macos-runner
change-build-macos-runner
October 3, 2023 12:08 1h 3m 31s
Builing MacOS Package on MacOS 13 Test PR #2992: Pull request #3686 synchronize by Robertorosmaninho
October 3, 2023 10:47 1h 20m 38s change-build-macos-runner
change-build-macos-runner
October 3, 2023 10:47 1h 20m 38s
Builing MacOS Package on MacOS 13 Test PR #2991: Pull request #3686 synchronize by F-WRunTime
October 3, 2023 01:52 43m 7s change-build-macos-runner
change-build-macos-runner
October 3, 2023 01:52 43m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-10-03 or the other filters available.