Code

Maintenance updates#3

Code

Merged

vhavlena merged 7 commits intodevelVeriFIT/kofola:develfrom maintain-updatesVeriFIT/kofola:maintain-updatesCopy head branch name to clipboardDec 20, 2024

+57-75

Commits

Commits on Dec 19, 2024

• update macos workflow

  vhavlena

  committed
  90613cf

  Copy full SHA for 90613cf

• README: updates

  vhavlena

  committed
  418c262

  Copy full SHA for 418c262

• actions: various platform build workflow

  vhavlena

  committed
  e9a7853

  Copy full SHA for e9a7853

• actions: build.yml fixing

  vhavlena

  committed
  7d2e605

  Copy full SHA for 7d2e605

• action: update workflow; README build result

  vhavlena

  committed
  88eb17b

  Copy full SHA for 88eb17b

Commits on Dec 20, 2024

• README: usage and publications

  vhavlena

  committed
  dfd834e

  Copy full SHA for dfd834e

• README: headline font size

  vhavlena

  committed
  790a8e8

  Copy full SHA for 790a8e8