Skip to content

ci: Switch runs-on to ubuntu-20.04 - #5

Open
pierrewillenbrockdfki wants to merge 1 commit into
mainfrom
ci-to-run-on-20.04
Open

ci: Switch runs-on to ubuntu-20.04#5
pierrewillenbrockdfki wants to merge 1 commit into
mainfrom
ci-to-run-on-20.04

Commits

Commits on Jul 21, 2023