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
35 workflow run results
35 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependency: llvm-backend/src/main/native/llvm-backend (#3677) Bump version and make master job #514: Commit 4435263 pushed by rv-jenkins
September 29, 2023 15:42 49s develop
develop
September 29, 2023 15:42 49s
change case classes and parser to support multi-ary \and/\or. (#3676) Bump version and make master job #513: Commit 9ddff9d pushed by dwightguth
September 28, 2023 20:36 49s develop
develop
September 28, 2023 20:36 49s
Update dependency: deps/hs-backend-booster_release (#3671) Bump version and make master job #512: Commit 0faa59e pushed by rv-jenkins
September 28, 2023 12:03 55s develop
develop
September 28, 2023 12:03 55s
remove build extension for aws s3 that is no longer used (#3665) Bump version and make master job #511: Commit c8bdd77 pushed by rv-jenkins
September 27, 2023 16:03 51s develop
develop
September 27, 2023 16:03 51s
Ensure type inference checks rhsSort <: lhsSort for macro rules (#3666) Bump version and make master job #510: Commit bc1ffc5 pushed by rv-jenkins
September 27, 2023 09:03 52s develop
develop
September 27, 2023 09:03 52s
Add llvm-kompile-matching to K package (#3659) Bump version and make master job #509: Commit a26d8e1 pushed by rv-jenkins
September 26, 2023 18:43 56s develop
develop
September 26, 2023 18:43 56s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3657) Bump version and make master job #508: Commit 03d280e pushed by rv-jenkins
September 26, 2023 17:25 51s develop
develop
September 26, 2023 17:25 51s
Check if macros were expanded in ensures and requires (#3662) Bump version and make master job #507: Commit 6bda50e pushed by rv-jenkins
September 26, 2023 16:27 52s develop
develop
September 26, 2023 16:27 52s
Updating Maven and Testing it (#3664) Bump version and make master job #506: Commit 57d7bba pushed by rv-jenkins
September 26, 2023 15:03 1m 5s develop
develop
September 26, 2023 15:03 1m 5s
Refactor GeneratedTopFormat (#3654) Bump version and make master job #505: Commit cb848f3 pushed by rv-jenkins
September 22, 2023 09:23 16m 18s develop
develop
September 22, 2023 09:23 16m 18s