Code

bump virtuoso to 7.2.9#14

Code

Merged

nvdk merged 2 commits intomasterredpencilio/docker-virtuoso:masterfrom feature/virtuoso-7.2.9redpencilio/docker-virtuoso:feature/virtuoso-7.2.9Copy head branch name to clipboardApr 12, 2023

+18-28

Commits

Commits on Mar 1, 2023

• bump virtuoso to 7.2.9

  

  Niels V

  committed
  0885dcd

  Copy full SHA for 0885dcd

• tweak conditional ci execution

  

  Niels V

  committed
  8841ce0

  Copy full SHA for 8841ce0