Commit 646fcff4 authored 4 years ago by Schrödter, Tobias

Merge branch '136_change_to_ubuntu' into 'master'

Change CI to use ubuntu instead of arch

Closes #136

See merge request !85

No related branches found

No related tags found

1 merge request!85Change CI to use ubuntu instead of arch

Checking pipeline status