Code

Set up testing workflow#8

Code

Merged

rv-jenkins merged 6 commits intomasterruntimeverification/pl-tutorial:masterfrom workflowruntimeverification/pl-tutorial:workflowCopy head branch name to clipboardFeb 8, 2024

+32

Commits

Commits on Feb 6, 2024

• Set up testing workflow

  gtrepta

  committed
  d4c1ba8

  Copy full SHA for d4c1ba8

Commits on Feb 7, 2024

• Fix ordering in some declarations

  gtrepta

  committed
  e0bc4fd

  Copy full SHA for e0bc4fd

• Add event triggers

  gtrepta

  committed
  43da939

  Copy full SHA for 43da939

• Test workflow rework

  F-WRunTime

  committed
  17f6e5b

  Copy full SHA for 17f6e5b

• change concurrency group to use the workflow name and branch running it

  F-WRunTime

  committed
  8024db4

  Copy full SHA for 8024db4

• Merge pull request #9 from runtimeverification/devops-workflow

  Show description for 220fe62
  gtrepta

  authored
  220fe62

  Copy full SHA for 220fe62