Code

GHA: split into smaller jobs#2203

Code

Closed

dweindl wants to merge 5 commits intoAMICI-dev:developAMICI-dev/AMICI:developfrom dweindl:gha_splitdweindl/AMICI:gha_splitCopy head branch name to clipboard

+48-87

Commits

Commits on Nov 17, 2023

• GHA: split into smaller jobs

  Show description for e90bbe9
  dweindl

  committed
  e90bbe9

  Copy full SHA for e90bbe9

• names

  dweindl

  committed
  cda0afe

  Copy full SHA for cda0afe

• deps

  dweindl

  committed
  0651eb2

  Copy full SHA for 0651eb2

• ?

  dweindl

  committed
  ae2c061

  Copy full SHA for ae2c061

• ..

  dweindl

  committed
  16d030b

  Copy full SHA for 16d030b