Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,303 workflow run results
1,303 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Claim infer cell2 Test PR #3560: Pull request #3812 synchronize by radumereuta
November 15, 2023 19:54 1m 36s claim-infer-cell2
claim-infer-cell2
November 15, 2023 19:54 1m 36s
K Framework Release v6.1.17 Release #967: Release v6.1.17 prereleased by rv-jenkins
November 15, 2023 19:43 1h 41m 19s
November 15, 2023 19:43 1h 41m 19s
Set Version: 6.1.17 Master Push #600: Commit 750b5cf pushed by rv-jenkins
November 15, 2023 19:43 13s master
master
November 15, 2023 19:43 13s
Update dependency: deps/hs-backend-booster_release (#3815) Bump version and make master job #613: Commit 7a36b78 pushed by rv-jenkins
November 15, 2023 19:43 1m 5s develop
develop
November 15, 2023 19:43 1m 5s
Claim infer cell2 Test PR #3559: Pull request #3812 synchronize by radumereuta
November 15, 2023 19:29 19m 0s claim-infer-cell2
claim-infer-cell2
November 15, 2023 19:29 19m 0s
pages build and deployment pages-build-deployment #386: by rv-jenkins
November 15, 2023 18:53 46s gh-pages
gh-pages
November 15, 2023 18:53 46s
Update dependency: deps/hs-backend-booster_release Test PR #3558: Pull request #3815 synchronize by rv-jenkins
November 15, 2023 18:27 1h 9m 27s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 18:27 1h 9m 27s
Merge branch 'develop' into _update-deps/runtimeverification/hs-backe… Update Nix Flake Inputs #966: Commit 18f6198 pushed by rv-jenkins
November 15, 2023 18:27 1m 21s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 18:27 1m 21s
K Framework Release v6.1.16 Release #966: Release v6.1.16 prereleased by rv-jenkins
November 15, 2023 17:03 1h 49m 48s
November 15, 2023 17:03 1h 49m 48s
Set Version: 6.1.16 Master Push #599: Commit 645258f pushed by rv-jenkins
November 15, 2023 17:03 14s master
master
November 15, 2023 17:03 14s
Clean up cast insertion in TypeInferenceVisitor (#3813) Bump version and make master job #612: Commit 2f7b344 pushed by rv-jenkins
November 15, 2023 17:02 1m 8s develop
develop
November 15, 2023 17:02 1m 8s
Clean up cast insertion in TypeInferenceVisitor Test PR #3557: Pull request #3813 synchronize by rv-jenkins
November 15, 2023 16:02 56m 53s infer-sort-checks
infer-sort-checks
November 15, 2023 16:02 56m 53s
pages build and deployment pages-build-deployment #385: by rv-jenkins
November 15, 2023 14:49 2m 21s gh-pages
gh-pages
November 15, 2023 14:49 2m 21s
K Framework Release v6.1.15 Release #965: Release v6.1.15 prereleased by rv-jenkins
November 15, 2023 13:05 1h 44m 15s
November 15, 2023 13:05 1h 44m 15s
Set Version: 6.1.15 Master Push #598: Commit f35f9c5 pushed by rv-jenkins
November 15, 2023 13:05 17s master
master
November 15, 2023 13:05 17s
Add KItem subsorts to the disambiguation module when parsing progra… Bump version and make master job #611: Commit 1ddf072 pushed by rv-jenkins
November 15, 2023 13:04 1m 49s develop
develop
November 15, 2023 13:04 1m 49s
Update dependency: deps/hs-backend-booster_release Test PR #3556: Pull request #3815 synchronize by rv-jenkins
November 15, 2023 11:10 34m 13s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:10 34m 13s
flake.nix, flake.lock: update Update Nix Flake Inputs #965: Commit a9379b0 pushed by rv-jenkins
November 15, 2023 11:10 1m 22s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:10 1m 22s
Update dependency: deps/hs-backend-booster_release Test PR #3555: Pull request #3815 opened by rv-jenkins
November 15, 2023 11:08 2m 21s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:08 2m 21s
deps/hs-backend-booster_release: Set Version 8ecb99be22406efbdf151eb2… Update Nix Flake Inputs #964: Commit eb32840 pushed by rv-jenkins
November 15, 2023 11:08 2m 3s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
November 15, 2023 11:08 2m 3s
Add KItem subsorts to the disambiguation module when parsing programs Test PR #3554: Pull request #3814 opened by Scott-Guest
November 15, 2023 01:32 39m 12s disamb-kitem
disamb-kitem
November 15, 2023 01:32 39m 12s
Clean up cast insertion in TypeInferenceVisitor Test PR #3553: Pull request #3813 opened by Scott-Guest
November 15, 2023 01:04 38m 48s infer-sort-checks
infer-sort-checks
November 15, 2023 01:04 38m 48s
pages build and deployment pages-build-deployment #384: by rv-jenkins
November 14, 2023 20:52 47s gh-pages
gh-pages
November 14, 2023 20:52 47s
Claim infer cell2 Test PR #3552: Pull request #3812 opened by radumereuta
November 14, 2023 20:09 14m 47s claim-infer-cell2
claim-infer-cell2
November 14, 2023 20:09 14m 47s
K Framework Release v6.1.14 Release #964: Release v6.1.14 prereleased by rv-jenkins
November 14, 2023 19:07 1h 44m 52s
November 14, 2023 19:07 1h 44m 52s