Code

Set up project#2

Code

Merged

rv-jenkins merged 11 commits intomasterruntimeverification/komet:masterfrom project-setupruntimeverification/komet:project-setupCopy head branch name to clipboardMay 14, 2024

+1,773-2

Commits

Commits on May 10, 2024

• Instantiate project template

  tothtamas28

  committed
  5b81530

• Add versioning

  tothtamas28

  committed
  e4bfd84

• Add dependencies

  tothtamas28

  committed
  71375f0

• Add poetry.lock

  tothtamas28

  committed
  d506be4

• Add kdist setup

  tothtamas28

  committed
  20c055c

• Add CI tests

  tothtamas28

  committed
  50b7795

• Set Version: 0.1.1

  

  devops

  committed
  ad3cc8a

• Add update workflow

  tothtamas28

  committed
  5c5e255

• Sync Poetry files 0.1.48

  

  devops

  committed
  b26e1a7

• deps/k_release: sync release file version 7.0.52

  

  devops

  committed
  da10399

• Restore workflow trigger

  tothtamas28

  committed
  4ec6c84