Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v6.0.87 Release #831: Release v6.0.87 prereleased by rv-jenkins
September 5, 2023 21:21 3h 27m 35s
September 5, 2023 21:21 3h 27m 35s
Set Version: 6.0.87 Master Push #471: Commit 3997d65 pushed by rv-jenkins
September 5, 2023 21:04 16m 38s master
master
September 5, 2023 21:04 16m 38s
Update krun usage message to contain [options] (#3623) Bump version and make master job #454: Commit 865a736 pushed by rv-jenkins
September 5, 2023 21:04 18s develop
develop
September 5, 2023 21:04 18s
pages build and deployment pages-build-deployment #333: by rv-jenkins
September 5, 2023 20:53 50s
September 5, 2023 20:53 50s
K Framework Release v6.0.86 Release #830: Release v6.0.86 prereleased by rv-jenkins
September 5, 2023 20:46 1h 48m 29s
September 5, 2023 20:46 1h 48m 29s
Set Version: 6.0.86 Master Push #470: Commit e212abd pushed by rv-jenkins
September 5, 2023 20:24 22m 4s master
master
September 5, 2023 20:24 22m 4s
Update krun usage message to contain [options] Test PR #2708: Pull request #3623 synchronize by rv-jenkins
September 5, 2023 20:24 37m 37s update-krun-usage-1
update-krun-usage-1
September 5, 2023 20:24 37m 37s
Add Bencher to track Benchmarks Performance Regression (#3611) Bump version and make master job #453: Commit 7f9f5c0 pushed by rv-jenkins
September 5, 2023 20:24 25s develop
develop
September 5, 2023 20:24 25s
K Framework Release v6.0.85 Release #829: Release v6.0.85 prereleased by rv-jenkins
September 5, 2023 20:04 42m 12s
September 5, 2023 20:04 42m 12s
Add Bencher to track Benchmarks Performance Regression Test PR #2707: Pull request #3611 synchronize by Robertorosmaninho
September 5, 2023 19:46 30m 58s add-bencher
add-bencher
September 5, 2023 19:46 30m 58s
Set Version: 6.0.85 Master Push #469: Commit fc6a44b pushed by rv-jenkins
September 5, 2023 19:43 21m 0s master
master
September 5, 2023 19:43 21m 0s
Improving Lesson 1.3 by mentioning longest match while scanning token… Bump version and make master job #452: Commit 24d2b08 pushed by rv-jenkins
September 5, 2023 19:43 25s develop
develop
September 5, 2023 19:43 25s
Update krun usage message to contain [options] Test PR #2706: Pull request #3623 opened by Robertorosmaninho
September 5, 2023 19:20 33m 9s update-krun-usage-1
update-krun-usage-1
September 5, 2023 19:20 33m 9s
Improving Lesson 1.3 by mentioning longest match while scanning tokens Test PR #2705: Pull request #3618 synchronize by rv-jenkins
September 5, 2023 19:02 32m 56s add-lex-erexplanation-to-tutorial
add-lex-erexplanation-to-tutorial
September 5, 2023 19:02 32m 56s
K Framework Release v6.0.84 Release #828: Release v6.0.84 prereleased by rv-jenkins
September 5, 2023 18:40 2h 12m 42s
September 5, 2023 18:40 2h 12m 42s
Set Version: 6.0.84 Master Push #468: Commit f5eb3db pushed by rv-jenkins
September 5, 2023 18:27 13m 58s master
master
September 5, 2023 18:27 13m 58s
Revert "Ordering instance for Sentences" (#3622) Bump version and make master job #451: Commit 413a22a pushed by rv-jenkins
September 5, 2023 18:26 19s develop
develop
September 5, 2023 18:26 19s
Add Bencher to track Benchmarks Performance Regression Test PR #2704: Pull request #3611 synchronize by Robertorosmaninho
September 5, 2023 18:10 35m 36s add-bencher
add-bencher
September 5, 2023 18:10 35m 36s
Improving Lesson 1.3 by mentioning longest match while scanning tokens Test PR #2703: Pull request #3618 synchronize by Robertorosmaninho
September 5, 2023 18:03 33m 28s add-lex-erexplanation-to-tutorial
add-lex-erexplanation-to-tutorial
September 5, 2023 18:03 33m 28s
Revert "Ordering instance for Sentences" Test PR #2702: Pull request #3622 opened by Robertorosmaninho
September 5, 2023 17:58 27m 40s revert-3590-sentenceOrdering
revert-3590-sentenceOrdering
September 5, 2023 17:58 27m 40s
Update dependency: deps/hs-backend-booster_release Test PR #2701: Pull request #3621 synchronize by rv-jenkins
September 5, 2023 14:37 44m 10s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 5, 2023 14:37 44m 10s
flake.nix, flake.lock: update Update Nix Flake Inputs #789: Commit 6e3bf60 pushed by rv-jenkins
September 5, 2023 14:37 1m 58s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 5, 2023 14:37 1m 58s
Update dependency: deps/hs-backend-booster_release Test PR #2700: Pull request #3621 opened by rv-jenkins
September 5, 2023 14:35 2m 19s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 5, 2023 14:35 2m 19s
deps/hs-backend-booster_release: Set Version f1b1df255b2d9dacf7679d0b… Update Nix Flake Inputs #788: Commit dccd793 pushed by rv-jenkins
September 5, 2023 14:35 1m 55s _update-deps/runtimeverification/hs-backend-booster
_update-deps/runtimeverification/hs-backend-booster
September 5, 2023 14:35 1m 55s
K Framework Release v6.0.83 Release #827: prereleased by rv-jenkins
September 5, 2023 08:46 1h 49m 3s
September 5, 2023 08:46 1h 49m 3s