Code

Fixing develop.yml workflow#3655

Code

Merged

rv-jenkins merged 5 commits intodevelopruntimeverification/k:developfrom test-develop-workflowruntimeverification/k:test-develop-workflowCopy head branch name to clipboardSep 21, 2023

+12-10

Commits

Commits on Sep 21, 2023

• Fixing post_results_to_develop.py and develop.yml

  Robertorosmaninho

  committed
  1b5dded

• Merge branch 'develop' into test-develop-workflow

  Robertorosmaninho

  authored
  5f5cad0

• Merge branch 'develop' into test-develop-workflow

  Robertorosmaninho

  authored
  0231722

• Using COMMIT_SHA as argument to avoid using git command inside container

  Robertorosmaninho

  committed
  e405d8a

• Deleting docker cp as it didn't solved the issue

  Robertorosmaninho

  committed
  f78ef33