Skip to content
Code linting

Re-use github actions on push to main #406

Sign in to view logs

Re-use github actions on push to main

Re-use github actions on push to main #406

lint

lint
succeeded Aug 23, 2024 in 40s