Code

Small change push to trigger workflow#3

Code

Merged

F-WRunTime merged 11 commits intomasterruntimeverification/kontrol-solady:masterfrom _update-deps/runtimeverification/kontrolruntimeverification/kontrol-solady:_update-deps/runtimeverification/kontrolCopy head branch name to clipboardSep 29, 2023

+64-40

Commits

Commits on Sep 27, 2023

• Small change push to trigger workflow

  F-WRunTime

  committed
  b9f747d

Commits on Sep 28, 2023

• Merge remote-tracking branch 'origin/master' into _update-deps/runtimeverification/kontrol

  

  devops

  committed
  873843b

• deps/kontrol_release: Set Version 0.1.10

  

  devops

  committed
  9caad61

• New action, new workflow test-pr using new action. New update-version workflow

  F-WRunTime

  committed
  ec35bf1

• Test folder name not plural

  F-WRunTime

  committed
  8fa39a1

• deps/kontrol_release: Set Version 0.1.11

  

  devops

  committed
  9f5f014

Commits on Sep 29, 2023

• Dropping update-version.sh no longer needed as devops repository handles the update of deps/release files and creating a PR

  F-WRunTime

  committed
  0959a78

• deps/kontrol_release: Set Version 0.1.12-1

  

  devops

  committed
  0b8dc0b

• Job name change

  F-WRunTime

  committed
  a4b3585

• Revert version change

  F-WRunTime

  committed
  d93dec5

• Revert to current latest release on dockerhub

  F-WRunTime

  committed
  be916c8