Code

Update workflow #2

Code

Merged

F-WRunTime merged 5 commits intomasterruntimeverification/automerge:masterfrom fix/rewrite-commit-messageruntimeverification/automerge:fix/rewrite-commit-messageCopy head branch name to clipboardFeb 14, 2024

+32-42

Commits

Commits on Feb 13, 2024

• Update workflow to use debug mode by choice, not required. Update action to include use of dry-run. Change test Yaml to point to special repository for testing

  

  devops

  committed
  e91699b

Commits on Feb 14, 2024

• Test workflow now with dry-run as an option from the workflow action

  

  devops

  committed
  0073958

• remove basic validation, add test to pull request pass requirements

  

  devops

  committed
  718b183

• pass flag --dry-run instead of bool

  

  devops

  committed
  aad8f48

• Updating instructions. Fixing usage of Github function merge()

  

  devops

  committed
  bdce0cd