Quentin Gliech 6f65d8eca4 ci: fix the macOS build

2023-07-28 17:13:07 +02:00

..

build.yaml

ci: fix the macOS build

2023-07-28 17:13:07 +02:00

ci.yaml

ci: cache less things to make it more efficient

2023-07-27 18:03:33 +02:00

coverage.yaml

ci: cache less things to make it more efficient

2023-07-27 18:03:33 +02:00

docs.yaml

ci: cache less things to make it more efficient

2023-07-27 18:03:33 +02:00