crapStone 5265b3884b

don't depend on lint for push to main

2024-07-23 22:58:34 +02:00

..

build.yml

don't depend on lint for push to main

2024-07-23 22:58:34 +02:00

lint.yml

improve pipeline config (#371)

2024-07-23 20:32:46 +00:00