Diamante 7486e418ef maint: update OS for Linux arm64 ...

We think only x64 should stay on 20.04 for now so it can work on old Ubuntu/Debian installs

2024-06-29 10:44:27 +02:00

..

lint.yml

update actions

2023-10-16 16:11:56 +02:00

release.yml

maint: update OS for Linux arm64

2024-06-29 10:44:27 +02:00