Code

🚸 Special case version 4.8.5#331

Code

Merged

burgholzer merged 6 commits intocda-tum:maincda-tum/setup-z3:mainfrom mtzguido:mainCopy head branch name to clipboardOct 11, 2024

+17-14

Commits

Commits on Oct 10, 2024

• get-download-link: special case version 4.8.5

  Show description for b178d46
  mtzguido

  committed
  b178d46

  Copy full SHA for b178d46

Commits on Oct 11, 2024

• 🔇 removing log output

  Show description for 7fe2378
  burgholzer

  committed
  7fe2378

  Copy full SHA for 7fe2378

• 🚸 improve regex handling

  Show description for cf04a0d
  burgholzer

  committed
  cf04a0d

  Copy full SHA for cf04a0d

• 🚸 slightly improve special case handling

  Show description for 25a0b19
  burgholzer

  committed
  25a0b19

  Copy full SHA for 25a0b19

• ✅ add a test for the special case

  Show description for 27a3842
  burgholzer

  committed
  27a3842

  Copy full SHA for 27a3842

• 📦 update dist

  Show description for 1aed9ac
  burgholzer

  committed
  1aed9ac

  Copy full SHA for 1aed9ac