Skip to content

Actions: runtimeverification/k

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revert to nix-community/mavenix in nix build Test PR #3222: Pull request #3749 edited by goodlyrottenapple
October 24, 2023 12:35 9m 27s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:35 9m 27s
Apply Java 17 automatic migration: records Test PR #3221: Pull request #3746 synchronize by Baltoli
October 24, 2023 12:18 10m 59s java-records
java-records
October 24, 2023 12:18 10m 59s
Revert to nix-community/mavenix in nix build Test PR #3220: Pull request #3749 synchronize by goodlyrottenapple
October 24, 2023 12:18 17m 40s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:18 17m 40s
Revert to nix-community/mavenix in nix build Test PR #3219: Pull request #3749 opened by goodlyrottenapple
October 24, 2023 12:01 17m 45s sam/nix-no-copy-jars
sam/nix-no-copy-jars
October 24, 2023 12:01 17m 45s
Update nix install script Test PR #3218: Pull request #3748 opened by goodlyrottenapple
October 24, 2023 11:20 1h 21m 51s sam/nix-install-script-update
sam/nix-install-script-update
October 24, 2023 11:20 1h 21m 51s
Apply Java 17 automatic migration: records Test PR #3217: Pull request #3746 opened by Baltoli
October 24, 2023 10:57 1h 6m 18s java-records
java-records
October 24, 2023 10:57 1h 6m 18s
Apply Java 17 automatic migration: enhanced switch Test PR #3216: Pull request #3745 edited by Baltoli
October 24, 2023 10:44 32m 34s java-enhanced-switch
java-enhanced-switch
October 24, 2023 10:44 32m 34s
Apply Java 17 automatic migration: enhanced switch Test PR #3215: Pull request #3745 synchronize by Baltoli
October 24, 2023 10:24 19m 59s java-enhanced-switch
java-enhanced-switch
October 24, 2023 10:24 19m 59s
Apply Java 17 automatic migration: enhanced switch Test PR #3214: Pull request #3745 opened by Baltoli
October 24, 2023 10:22 3m 4s java-enhanced-switch
java-enhanced-switch
October 24, 2023 10:22 3m 4s
V6.1.0 rc Test PR #3213: Pull request #3744 opened by radumereuta
October 23, 2023 19:26 32m 13s v6.1.0-rc
v6.1.0-rc
October 23, 2023 19:26 32m 13s
Add int-simplification builtin Test PR #3212: Pull request #2840 reopened by Baltoli
October 23, 2023 16:21 1h 16m 18s int-simplification
int-simplification
October 23, 2023 16:21 1h 16m 18s
Check for Java 17 when running K tools Test PR #3211: Pull request #3743 synchronize by rv-jenkins
October 23, 2023 16:05 36m 42s check-java-17
check-java-17
October 23, 2023 16:05 36m 42s
Check for Java 17 when running K tools Test PR #3210: Pull request #3743 opened by Baltoli
October 23, 2023 14:49 1h 15m 32s check-java-17
check-java-17
October 23, 2023 14:49 1h 15m 32s
Fix release by installing Calibre 6 Test PR #3209: Pull request #3742 synchronize by Baltoli
October 23, 2023 14:45 35m 12s calibre
calibre
October 23, 2023 14:45 35m 12s
Fix release by installing Calibre 6 Test PR #3208: Pull request #3742 edited by Baltoli
October 23, 2023 14:45 17s calibre
calibre
October 23, 2023 14:45 17s
Fix release by installing Calibre 6 Test PR #3207: Pull request #3742 synchronize by Baltoli
October 23, 2023 14:44 19s calibre
calibre
October 23, 2023 14:44 19s
Fix release by installing Calibre 6 Test PR #3206: Pull request #3742 synchronize by Baltoli
October 23, 2023 14:40 4m 32s calibre
calibre
October 23, 2023 14:40 4m 32s
Fix release by installing Calibre 6 Test PR #3205: Pull request #3742 edited by Baltoli
October 23, 2023 14:39 1m 4s calibre
calibre
October 23, 2023 14:39 1m 4s
Fix release by installing Calibre 6 Test PR #3204: Pull request #3742 synchronize by Baltoli
October 23, 2023 13:19 32m 31s calibre
calibre
October 23, 2023 13:19 32m 31s
Fix release by installing Calibre 6 Test PR #3203: Pull request #3742 synchronize by Baltoli
October 23, 2023 13:17 2m 50s calibre
calibre
October 23, 2023 13:17 2m 50s
Fix release by installing Calibre 6 Test PR #3202: Pull request #3742 edited by rv-jenkins
October 23, 2023 13:15 1s calibre
calibre
October 23, 2023 13:15 1s
Fix for macOS nix / kup breakage Test PR #3201: Pull request #3741 edited by Baltoli
October 23, 2023 12:51 32m 36s macos-nix-break
macos-nix-break
October 23, 2023 12:51 32m 36s
Fix for macOS nix / kup breakage Test PR #3200: Pull request #3741 synchronize by Baltoli
October 23, 2023 12:41 11m 21s macos-nix-break
macos-nix-break
October 23, 2023 12:41 11m 21s
Fix for macOS nix / kup breakage Test PR #3199: Pull request #3741 edited by rv-jenkins
October 23, 2023 12:20 20m 51s macos-nix-break
macos-nix-break
October 23, 2023 12:20 20m 51s
Update dependency: deps/hs-backend-booster_release Test PR #3198: Pull request #3739 synchronize by rv-jenkins
October 22, 2023 22:31 1h 9m 24s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
October 22, 2023 22:31 1h 9m 24s