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

Fix output sorting for KPrint (#3653) Bump version and make master job #477: Commit d3c6874 pushed by rv-jenkins
September 20, 2023 18:27 23m 26s develop
develop
September 20, 2023 18:27 23m 26s
K Framework Release v6.0.106 Release #849: Release v6.0.106 prereleased by rv-jenkins
September 20, 2023 18:11 35m 1s
September 20, 2023 18:11 35m 1s
Fixing develop.yml workflow Test PR #2799: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 18:06 1h 47m 1s test-develop-workflow
test-develop-workflow
September 20, 2023 18:06 1h 47m 1s
Testing git config --global inside docker Bump version and make master job #476: Commit 0d92ccc pushed by Robertorosmaninho
September 20, 2023 18:06 47s test-develop-workflow
test-develop-workflow
September 20, 2023 18:06 47s
Fixing develop.yml workflow Test PR #2798: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 18:04 1m 49s test-develop-workflow
test-develop-workflow
September 20, 2023 18:04 1m 49s
Using public runner Bump version and make master job #475: Commit d380e78 pushed by Robertorosmaninho
September 20, 2023 18:04 50s test-develop-workflow
test-develop-workflow
September 20, 2023 18:04 50s
Fixing develop.yml workflow Test PR #2797: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 18:02 2m 44s test-develop-workflow
test-develop-workflow
September 20, 2023 18:02 2m 44s
commenting bump version Bump version and make master job #474: Commit 0f742be pushed by Robertorosmaninho
September 20, 2023 18:02 2m 21s test-develop-workflow
test-develop-workflow
September 20, 2023 18:02 2m 21s
K Framework Release v6.0.105 Release #848: Release v6.0.105 prereleased by rv-jenkins
September 20, 2023 17:58 12m 4s
September 20, 2023 17:58 12m 4s
K Framework Release v6.0.103 Release #846: Release v6.0.103 prereleased by rv-jenkins
September 20, 2023 17:58 2h 17m 30s
September 20, 2023 17:58 2h 17m 30s
K Framework Release v6.0.104 Release #847: Release v6.0.104 prereleased by rv-jenkins
September 20, 2023 17:58 24s
September 20, 2023 17:58 24s
Set Version: 6.0.106 Master Push #490: Commit 7c00d0e pushed by rv-jenkins
September 20, 2023 17:47 23m 49s master
master
September 20, 2023 17:47 23m 49s
Fixing develop.yml workflow Test PR #2796: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 17:46 14m 18s test-develop-workflow
test-develop-workflow
September 20, 2023 17:46 14m 18s
Trying with git config --global Bump version and make master job #473: Commit 81b5d32 pushed by Robertorosmaninho
September 20, 2023 17:46 14m 19s test-develop-workflow
test-develop-workflow
September 20, 2023 17:46 14m 19s
Set Version: 6.0.105 Master Push #489: Commit 920fe5f pushed by rv-jenkins
September 20, 2023 17:44 14m 23s master
master
September 20, 2023 17:44 14m 23s
Fixing develop.yml workflow Test PR #2795: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 17:44 3m 5s test-develop-workflow
test-develop-workflow
September 20, 2023 17:44 3m 5s
Twsting chmod without docker Bump version and make master job #472: Commit 89880eb pushed by Robertorosmaninho
September 20, 2023 17:44 1m 2s test-develop-workflow
test-develop-workflow
September 20, 2023 17:44 1m 2s
Set Version: 6.0.104 Master Push #488: Commit 4093354 pushed by rv-jenkins
September 20, 2023 17:42 15m 51s master
master
September 20, 2023 17:42 15m 51s
Fixing develop.yml workflow Test PR #2794: Pull request #3655 synchronize by Robertorosmaninho
September 20, 2023 17:42 1m 57s test-develop-workflow
test-develop-workflow
September 20, 2023 17:42 1m 57s
Testing fixing it with chmod +x Bump version and make master job #471: Commit be9949b pushed by Robertorosmaninho
September 20, 2023 17:42 44s test-develop-workflow
test-develop-workflow
September 20, 2023 17:42 44s
Fixing develop.yml workflow Test PR #2793: Pull request #3655 edited by rv-jenkins
September 20, 2023 17:40 2m 7s test-develop-workflow
test-develop-workflow
September 20, 2023 17:40 2m 7s
Fixing develop.yml workflow Test PR #272: Pull request #3655 opened by Robertorosmaninho
September 20, 2023 17:40 19s test-develop-workflow
test-develop-workflow
September 20, 2023 17:40 19s
Set Version: 6.0.103 Master Push #487: Commit a2988a7 pushed by rv-jenkins
September 20, 2023 17:40 18m 15s master
master
September 20, 2023 17:40 18m 15s
Testing develop workflow to fix post_results_to_develop.py script Bump version and make master job #470: Commit 2a01390 pushed by Robertorosmaninho
September 20, 2023 17:40 47s test-develop-workflow
test-develop-workflow
September 20, 2023 17:40 47s
Refactor GeneratedTopFormat Test PR #2792: Pull request #3654 synchronize by radumereuta
September 20, 2023 15:41 38m 10s fixProdHashCode
fixProdHashCode
September 20, 2023 15:41 38m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.