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
49 workflow run results
49 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 ${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
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
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
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 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
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
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
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
Trying to fix ownership inside docker Bump version and make master job #492: Commit 4704126 pushed by Robertorosmaninho
September 21, 2023 18:37 42s test-develop-workflow
test-develop-workflow
September 21, 2023 18:37 42s
Fixing dir Bump version and make master job #491: Commit 89ac2e8 pushed by Robertorosmaninho
September 21, 2023 18:35 16s test-develop-workflow
test-develop-workflow
September 21, 2023 18:35 16s
Trwying changing the permission Bump version and make master job #490: Commit 345593d pushed by Robertorosmaninho
September 21, 2023 18:33 16s test-develop-workflow
test-develop-workflow
September 21, 2023 18:33 16s
deleting user in docker run Bump version and make master job #489: Commit 1644132 pushed by Robertorosmaninho
September 21, 2023 18:19 39s test-develop-workflow
test-develop-workflow
September 21, 2023 18:19 39s
Executing docker with user Bump version and make master job #488: Commit 6855fa0 pushed by Robertorosmaninho
September 21, 2023 18:09 17s test-develop-workflow
test-develop-workflow
September 21, 2023 18:09 17s
Update develop.yml Bump version and make master job #487: Commit 3c79ac6 pushed by Robertorosmaninho
September 21, 2023 17:52 42s test-develop-workflow
test-develop-workflow
September 21, 2023 17:52 42s
Deleting git global config... and testing the workflow Bump version and make master job #486: Commit 478beb2 pushed by Robertorosmaninho
September 21, 2023 17:45 43s test-develop-workflow
test-develop-workflow
September 21, 2023 17:45 43s
Update dependency: llvm-backend/src/main/native/llvm-backend (#3635) Bump version and make master job #485: Commit 8200fdb pushed by rv-jenkins
September 21, 2023 15:25 51s develop
develop
September 21, 2023 15:25 51s
Adding workspace variable Bump version and make master job #484: Commit 8a1b5fb pushed by Robertorosmaninho
September 21, 2023 13:39 40s test-develop-workflow
test-develop-workflow
September 21, 2023 13:39 40s
Using docker cp instead --volume with `git config --global --add … Bump version and make master job #483: Commit f257f92 pushed by Robertorosmaninho
September 21, 2023 13:38 14s test-develop-workflow
test-develop-workflow
September 21, 2023 13:38 14s
Fixing bencher posting command Bump version and make master job #482: Commit 25ef635 pushed by Robertorosmaninho
September 21, 2023 13:32 48s test-develop-workflow
test-develop-workflow
September 21, 2023 13:32 48s
Fixing bencher posting command Bump version and make master job #481: Commit 61e7552 pushed by Robertorosmaninho
September 21, 2023 13:30 43s test-develop-workflow
test-develop-workflow
September 21, 2023 13:30 43s
Fixing bencher posting command Bump version and make master job #480: Commit 3ece2c5 pushed by Robertorosmaninho
September 21, 2023 13:22 52s test-develop-workflow
test-develop-workflow
September 21, 2023 13:22 52s
Fixing post results Bump version and make master job #479: Commit a2d00ed pushed by Robertorosmaninho
September 21, 2023 13:19 57s test-develop-workflow
test-develop-workflow
September 21, 2023 13:19 57s
Fixing post_results_to_develop.py to get the correct branch name Bump version and make master job #478: Commit 0f27534 pushed by Robertorosmaninho
September 21, 2023 13:14 40s test-develop-workflow
test-develop-workflow
September 21, 2023 13:14 40s