Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
418 workflow run results
418 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update scala kore parser to use multi-ary and and or everywhere Test PR #278: Pull request #3678 opened by dwightguth
September 28, 2023 19:11 19s and_or2
and_or2
September 28, 2023 19:11 19s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2910: Pull request #3677 synchronize by rv-jenkins
September 28, 2023 19:08 35m 55s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 28, 2023 19:08 35m 55s
flake.nix, flake.lock: update Update Nix Flake Inputs #834: Commit 84810f8 pushed by rv-jenkins
September 28, 2023 19:08 2m 15s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 28, 2023 19:08 2m 15s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #2909: Pull request #3677 opened by rv-jenkins
September 28, 2023 19:06 2m 33s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 28, 2023 19:06 2m 33s
llvm-backend/src/main/native/llvm-backend: Set Version 005858032d3592… Update Nix Flake Inputs #833: Commit a0af71b pushed by rv-jenkins
September 28, 2023 19:06 2m 7s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
September 28, 2023 19:06 2m 7s
change case classes and parser to support multi-ary \and/\or. Test PR #2908: Pull request #3676 synchronize by dwightguth
September 28, 2023 17:51 45m 24s and_or
and_or
September 28, 2023 17:51 45m 24s
change case classes and parser to support multi-ary \and/\or. Test PR #2907: Pull request #3676 edited by rv-jenkins
September 28, 2023 17:48 3m 17s and_or
and_or
September 28, 2023 17:48 3m 17s
change case classes and parser to support multi-ary \and/\or. Test PR #277: Pull request #3676 opened by dwightguth
September 28, 2023 17:48 23s and_or
and_or
September 28, 2023 17:48 23s
Implement new sort inference algorithm Test PR #2906: Pull request #3673 edited by Scott-Guest
September 28, 2023 17:03 19m 0s new-type-inference
new-type-inference
September 28, 2023 17:03 19m 0s
Implement new sort inference algorithm Test PR #2905: Pull request #3673 edited by Scott-Guest
September 28, 2023 17:03 13s new-type-inference
new-type-inference
September 28, 2023 17:03 13s
pages build and deployment pages-build-deployment #345: by rv-jenkins
September 28, 2023 14:33 1m 0s gh-pages
gh-pages
September 28, 2023 14:33 1m 0s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR #2904: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 13:24 33m 5s new-macos-workflow
new-macos-workflow
September 28, 2023 13:24 33m 5s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #3: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 13:24 10m 41s new-macos-workflow
new-macos-workflow
September 28, 2023 13:24 10m 41s
K Framework Release v6.0.120 Release #862: Release v6.0.120 prereleased by rv-jenkins
September 28, 2023 12:21 2h 11m 49s
September 28, 2023 12:21 2h 11m 49s
Set Version: 6.0.120 Master Push #504: Commit 25367c4 pushed by rv-jenkins
September 28, 2023 12:03 17m 36s master
master
September 28, 2023 12:03 17m 36s
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
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR #2903: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 00:58 32m 51s new-macos-workflow
new-macos-workflow
September 28, 2023 00:58 32m 51s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #2: Pull request #3674 synchronize by Robertorosmaninho
September 28, 2023 00:58 54m 40s new-macos-workflow
new-macos-workflow
September 28, 2023 00:58 54m 40s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR #2902: Pull request #3674 opened by Robertorosmaninho
September 28, 2023 00:57 1m 12s new-macos-workflow
new-macos-workflow
September 28, 2023 00:57 1m 12s
[DRAFT] Introducing new workflow: Building K from source in MacOS Test PR on MacOS #1: Pull request #3674 opened by Robertorosmaninho
September 28, 2023 00:57 2s new-macos-workflow
new-macos-workflow
September 28, 2023 00:57 2s
Implement new sort inference algorithm Test PR #2901: Pull request #3673 edited by Scott-Guest
September 27, 2023 22:42 18m 28s new-type-inference
new-type-inference
September 27, 2023 22:42 18m 28s
Implement new sort inference algorithm Test PR #2900: Pull request #3673 edited by Scott-Guest
September 27, 2023 22:41 1m 15s new-type-inference
new-type-inference
September 27, 2023 22:41 1m 15s
Implement new sort inference algorithm Test PR #2899: Pull request #3673 edited by Scott-Guest
September 27, 2023 22:37 4m 34s new-type-inference
new-type-inference
September 27, 2023 22:37 4m 34s
Implement new sort inference algorithm Test PR #2898: Pull request #3673 edited by Scott-Guest
September 27, 2023 22:31 6m 27s new-type-inference
new-type-inference
September 27, 2023 22:31 6m 27s
Implement new sort inference algorithm Test PR #2897: Pull request #3673 edited by Scott-Guest
September 27, 2023 22:23 8m 43s new-type-inference
new-type-inference
September 27, 2023 22:23 8m 43s
ProTip! You can narrow down the results and go further in time using created:<2023-09-27 or the other filters available.