Skip to content

Actions: runtimeverification/k

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
9 workflow run results
9 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
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
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
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
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
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
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
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
Clean up flake inputs (#3652) Bump version and make master job #469: Commit 69b2cfe pushed by rv-jenkins
September 19, 2023 15:03 51s develop
develop
September 19, 2023 15:03 51s