This repository was archived by the owner on Aug 14, 2025. It is now read-only.

Use Ubuntu18.04 for Nutils-OF test#132

Merged

Eder-K merged 22 commits into

nutils-of_ubuntu1804

Dec 30, 2019

Workflow runs completed with no jobs