Skip to content

Actions: runtimeverification/k

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

K Framework Release v6.0.109 Release #852: prereleased by rv-jenkins
September 21, 2023 20:38 1h 14m 3s
September 21, 2023 20:38 1h 14m 3s
Setting $workspace variable in develop.yml Test PR #2838: Pull request #3658 opened by Robertorosmaninho
September 21, 2023 20:28 2h 21m 47s workspace-develop
workspace-develop
September 21, 2023 20:28 2h 21m 47s
Set Version: 6.0.109 Master Push #493: Commit dae393c pushed by rv-jenkins
September 21, 2023 20:24 13m 50s master
master
September 21, 2023 20:24 13m 50s
Fixing develop.yml workflow (#3655) Bump version and make master job #501: Commit 7c0bc44 pushed by rv-jenkins
September 21, 2023 20:24 24s develop
develop
September 21, 2023 20:24 24s
Fixing develop.yml workflow Test PR #2837: Pull request #3655 edited by Robertorosmaninho
September 21, 2023 19:40 33m 44s test-develop-workflow
test-develop-workflow
September 21, 2023 19:40 33m 44s
Fixing develop.yml workflow Test PR #2836: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:37 3m 12s test-develop-workflow
test-develop-workflow
September 21, 2023 19:37 3m 12s
Fixing develop.yml workflow Test PR #2835: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:35 2m 41s test-develop-workflow
test-develop-workflow
September 21, 2023 19:35 2m 41s
Fixing develop.yml workflow Test PR #2834: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:31 5m 4s test-develop-workflow
test-develop-workflow
September 21, 2023 19:31 5m 4s
Fixing develop.yml workflow Test PR #2833: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:27 3m 55s test-develop-workflow
test-develop-workflow
September 21, 2023 19:27 3m 55s
Fixing ${GITHUB_SHA} Bump version and make master job #500: Commit 0cd101f pushed by Robertorosmaninho
September 21, 2023 19:27 58s test-develop-workflow
test-develop-workflow
September 21, 2023 19:27 58s
Fixing develop.yml workflow Test PR #2832: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:25 2m 16s test-develop-workflow
test-develop-workflow
September 21, 2023 19:25 2m 16s
Fixign ${GITHUB_SHA} Bump version and make master job #499: Commit 03881f9 pushed by Robertorosmaninho
September 21, 2023 19:25 50s test-develop-workflow
test-develop-workflow
September 21, 2023 19:25 50s
Fixing develop.yml workflow Test PR #2831: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:22 4m 9s test-develop-workflow
test-develop-workflow
September 21, 2023 19:22 4m 9s
Testing ${COMMIT_SHA} inside container Bump version and make master job #498: Commit 5bcefe3 pushed by Robertorosmaninho
September 21, 2023 19:22 47s test-develop-workflow
test-develop-workflow
September 21, 2023 19:22 47s
Fixing develop.yml workflow Test PR #2830: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:17 5m 20s test-develop-workflow
test-develop-workflow
September 21, 2023 19:17 5m 20s
Testing ${COMMIT_SHA} argument Bump version and make master job #497: Commit ff21068 pushed by Robertorosmaninho
September 21, 2023 19:17 38s test-develop-workflow
test-develop-workflow
September 21, 2023 19:17 38s
Fixing develop.yml workflow Test PR #2829: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:13 4m 22s test-develop-workflow
test-develop-workflow
September 21, 2023 19:13 4m 22s
Fixing argument to use env variable Bump version and make master job #496: Commit e9059d3 pushed by Robertorosmaninho
September 21, 2023 19:13 41s test-develop-workflow
test-develop-workflow
September 21, 2023 19:13 41s
Fixing develop.yml workflow Test PR #2828: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:10 3m 20s test-develop-workflow
test-develop-workflow
September 21, 2023 19:10 3m 20s
Getting commit sha from argument Bump version and make master job #495: Commit 8425ea0 pushed by Robertorosmaninho
September 21, 2023 19:10 39s test-develop-workflow
test-develop-workflow
September 21, 2023 19:10 39s
Fixing develop.yml workflow Test PR #2827: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 19:01 8m 52s test-develop-workflow
test-develop-workflow
September 21, 2023 19:01 8m 52s
Trying to get the commit_sha from env variables Bump version and make master job #494: Commit a2d5487 pushed by Robertorosmaninho
September 21, 2023 19:01 48s test-develop-workflow
test-develop-workflow
September 21, 2023 19:01 48s
Fixing develop.yml workflow Test PR #2826: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 18:47 14m 21s test-develop-workflow
test-develop-workflow
September 21, 2023 18:47 14m 21s
Testing script without git call Bump version and make master job #493: Commit 92ebdcc pushed by Robertorosmaninho
September 21, 2023 18:47 50s test-develop-workflow
test-develop-workflow
September 21, 2023 18:47 50s
Fixing develop.yml workflow Test PR #2825: Pull request #3655 synchronize by Robertorosmaninho
September 21, 2023 18:37 10m 41s test-develop-workflow
test-develop-workflow
September 21, 2023 18:37 10m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-09-21 or the other filters available.