Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Packaging: version path fix (#3691) Bump version and make master job #525: Commit b3c4644 pushed by rv-jenkins
October 4, 2023 23:03 1m 1s develop
develop
October 4, 2023 23:03 1m 1s
Packaging: version path fix Test PR #3033: Pull request #3691 synchronize by rv-jenkins
October 4, 2023 22:03 42m 44s version-file2
version-file2
October 4, 2023 22:03 42m 44s
K Framework Release v6.0.132 Release #875: prereleased by rv-jenkins
October 4, 2023 21:18 1h 37m 57s
October 4, 2023 21:18 1h 37m 57s
Set Version: 6.0.132 Master Push #516: Commit 6fbedaa pushed by rv-jenkins
October 4, 2023 21:07 11m 10s master
master
October 4, 2023 21:07 11m 10s
kast --debug-tokens (#3660) Bump version and make master job #524: Commit a49c3a2 pushed by rv-jenkins
October 4, 2023 21:06 9m 23s develop
develop
October 4, 2023 21:06 9m 23s
Use prebuilt z3 images Test PR #3032: Pull request #3694 opened by ehildenb
October 4, 2023 20:42 1h 33m 59s z3-images
z3-images
October 4, 2023 20:42 1h 33m 59s
kast --debug-tokens Test PR #3031: Pull request #3660 synchronize by rv-jenkins
October 4, 2023 20:03 49m 47s showTokens
showTokens
October 4, 2023 20:03 49m 47s
K Framework Release v6.0.131 Release #874: Release v6.0.131 prereleased by rv-jenkins
October 4, 2023 19:39 1h 31m 28s
October 4, 2023 19:39 1h 31m 28s
Set Version: 6.0.131 Master Push #515: Commit 7df821a pushed by rv-jenkins
October 4, 2023 19:23 16m 31s master
master
October 4, 2023 19:23 16m 31s
Updating Guice to 4.0 and deleting temporary injections (#3644) Bump version and make master job #523: Commit 079db21 pushed by rv-jenkins
October 4, 2023 19:22 1m 13s develop
develop
October 4, 2023 19:22 1m 13s
Updating Guice to 4.0 and deleting temporary injections Test PR #3030: Pull request #3644 synchronize by Robertorosmaninho
October 4, 2023 18:37 40m 40s guice-update
guice-update
October 4, 2023 18:37 40m 40s
Packaging: version path fix Test PR #3029: Pull request #3691 synchronize by gtrepta
October 4, 2023 18:37 25m 47s version-file2
version-file2
October 4, 2023 18:37 25m 47s
K Framework Release v6.0.130 Release #873: Release v6.0.130 prereleased by rv-jenkins
October 4, 2023 18:19 1h 21m 44s
October 4, 2023 18:19 1h 21m 44s
Packaging: version path fix Test PR #3028: Pull request #3691 synchronize by gtrepta
October 4, 2023 18:16 21m 52s version-file2
version-file2
October 4, 2023 18:16 21m 52s
Set Version: 6.0.130 Master Push #514: Commit 8fc5bce pushed by rv-jenkins
October 4, 2023 18:04 15m 9s master
master
October 4, 2023 18:04 15m 9s
Introduces --debugger-command flag to krun (#3687) Bump version and make master job #522: Commit 3e7fdeb pushed by rv-jenkins
October 4, 2023 18:03 1m 0s develop
develop
October 4, 2023 18:03 1m 0s
flake.nix, flake.lock: update Update Nix Flake Inputs #848: Commit 8654e91 pushed by rv-jenkins
October 4, 2023 17:30 2m 13s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 4, 2023 17:30 2m 13s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3027: Pull request #3693 synchronize by rv-jenkins
October 4, 2023 17:30 35m 43s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 4, 2023 17:30 35m 43s
Update dependency: llvm-backend/src/main/native/llvm-backend Test PR #3026: Pull request #3693 opened by rv-jenkins
October 4, 2023 17:29 2m 25s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 4, 2023 17:29 2m 25s
llvm-backend/src/main/native/llvm-backend: Set Version 11ced9192d238f… Update Nix Flake Inputs #847: Commit 76547b7 pushed by rv-jenkins
October 4, 2023 17:29 1m 56s _update-deps/runtimeverification/llvm-backend
_update-deps/runtimeverification/llvm-backend
October 4, 2023 17:29 1m 56s
Updating Guice to 4.0 and deleting temporary injections Test PR #3025: Pull request #3644 synchronize by Robertorosmaninho
October 4, 2023 17:04 43m 5s guice-update
guice-update
October 4, 2023 17:04 43m 5s
Packaging: version path fix Test PR #3024: Pull request #3691 synchronize by gtrepta
October 4, 2023 17:00 51m 51s version-file2
version-file2
October 4, 2023 17:00 51m 51s
Introduces --debugger-command flag to krun Test PR #3023: Pull request #3687 synchronize by Robertorosmaninho
October 4, 2023 16:57 1m 32s new-debugger-flag-in-krun
new-debugger-flag-in-krun
October 4, 2023 16:57 1m 32s
Test K version output on packaging Test PR #3022: Pull request #3692 edited by Robertorosmaninho
October 4, 2023 16:48 30m 3s fix-and-test-k-version
fix-and-test-k-version
October 4, 2023 16:48 30m 3s
Test K version output on packaging Test PR #3021: Pull request #3692 edited by Robertorosmaninho
October 4, 2023 16:47 59s fix-and-test-k-version
fix-and-test-k-version
October 4, 2023 16:47 59s