Skip to content

Revert github workflow but keep older ubuntu version#1425

Merged
olivervogel merged 3 commits intodevelopfrom fix/workflow3Jan 19, 2025

Commits

Commits on Jan 19, 2025