Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
57 workflow run results
57 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Apply Java 17 automatic migration: records (#3746) Bump version and make master job #561: Commit bcef71b pushed by rv-jenkins
October 25, 2023 12:21 47s develop
develop
October 25, 2023 12:21 47s
Update dependency: deps/hs-backend-booster_release (#3739) Bump version and make master job #560: Commit 45d3584 pushed by rv-jenkins
October 24, 2023 21:02 53s develop
develop
October 24, 2023 21:02 53s
Update nix install script (#3748) Bump version and make master job #559: Commit fcc48a4 pushed by rv-jenkins
October 24, 2023 19:22 53s develop
develop
October 24, 2023 19:22 53s
Apply Java migration: pattern variables (#3750) Bump version and make master job #558: Commit 227b989 pushed by rv-jenkins
October 24, 2023 15:26 50s develop
develop
October 24, 2023 15:26 50s
Revert to nix-community/mavenix in nix build (#3749) Bump version and make master job #557: Commit 18c190f pushed by rv-jenkins
October 24, 2023 14:43 53s develop
develop
October 24, 2023 14:43 53s
Apply Java 17 automatic migration: enhanced switch (#3745) Bump version and make master job #556: Commit 0bbfe47 pushed by rv-jenkins
October 24, 2023 11:43 52s develop
develop
October 24, 2023 11:43 52s
Check for Java 17 when running K tools (#3743) Bump version and make master job #555: Commit b1fcdbc pushed by rv-jenkins
October 23, 2023 20:23 58s develop
develop
October 23, 2023 20:23 58s
Fix release by installing Calibre 6 (#3742) Bump version and make master job #554: Commit 8442785 pushed by rv-jenkins
October 23, 2023 15:23 1m 7s develop
develop
October 23, 2023 15:23 1m 7s
Fix for macOS nix / kup breakage (#3741) Bump version and make master job #553: Commit e5a4a23 pushed by rv-jenkins
October 23, 2023 13:26 56s develop
develop
October 23, 2023 13:26 56s
Add option to print better parse errors (#3700) Bump version and make master job #552: Commit cc3d089 pushed by rv-jenkins
October 20, 2023 22:24 52s develop
develop
October 20, 2023 22:24 52s
Add lowerBounds and upperBounds methods to POSet (#3733) Bump version and make master job #551: Commit d18ea8f pushed by rv-jenkins
October 20, 2023 21:42 58s develop
develop
October 20, 2023 21:42 58s
Support for memset hook. (#3722) Bump version and make master job #550: Commit bdde319 pushed by rv-jenkins
October 20, 2023 19:42 1m 40s develop
develop
October 20, 2023 19:42 1m 40s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3737) Bump version and make master job #549: Commit 2b8ab42 pushed by rv-jenkins
October 20, 2023 17:42 54s develop
develop
October 20, 2023 17:42 54s
Bump JDK requirement to 17 (#3736) Bump version and make master job #548: Commit eb45e17 pushed by rv-jenkins
October 20, 2023 16:27 57s develop
develop
October 20, 2023 16:27 57s
Slimmer nix runtime closure (#3734) Bump version and make master job #547: Commit e5f02f2 pushed by rv-jenkins
October 20, 2023 15:43 51s develop
develop
October 20, 2023 15:43 51s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3735) Bump version and make master job #546: Commit 0c68ec0 pushed by rv-jenkins
October 20, 2023 13:25 1m 1s develop
develop
October 20, 2023 13:25 1m 1s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3730) Bump version and make master job #545: Commit 3563005 pushed by rv-jenkins
October 19, 2023 14:25 42s develop
develop
October 19, 2023 14:25 42s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3728) Bump version and make master job #544: Commit f3965e6 pushed by rv-jenkins
October 19, 2023 12:07 3m 12s develop
develop
October 19, 2023 12:07 3m 12s
Update dependency: deps/hs-backend-booster_release (#3716) Bump version and make master job #543: Commit 8f1c68f pushed by goodlyrottenapple
October 19, 2023 11:08 42s develop
develop
October 19, 2023 11:08 42s
Move PL tutorial link out of main "learn K" section (#3717) Bump version and make master job #542: Commit 350dc5e pushed by rv-jenkins
October 19, 2023 09:42 47s develop
develop
October 19, 2023 09:42 47s
Drop mentions of Focal from packaging and install documentation (#3725) Bump version and make master job #541: Commit 2ea8c60 pushed by rv-jenkins
October 18, 2023 17:42 2m 16s develop
develop
October 18, 2023 17:42 2m 16s
Rephrase sed invocation for macOS (#3724) Bump version and make master job #540: Commit 32989da pushed by rv-jenkins
October 18, 2023 16:03 46s develop
develop
October 18, 2023 16:03 46s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3719) Bump version and make master job #539: Commit 5988a11 pushed by rv-jenkins
October 17, 2023 14:25 1m 15s develop
develop
October 17, 2023 14:25 1m 15s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3718) Bump version and make master job #538: Commit 6e39f79 pushed by rv-jenkins
October 17, 2023 11:42 48s develop
develop
October 17, 2023 11:42 48s
Move dockerhub image to prebuilt z3 (#3714) Bump version and make master job #537: Commit 5570c38 pushed by rv-jenkins
October 16, 2023 15:07 47s develop
develop
October 16, 2023 15:07 47s