Push on main #5
This check has been archived and is scheduled for deletion.
Learn more about checks retention
GitHub Actions / Lint (push)
succeeded
Nov 12, 2023 in 0s
Lint (push)
Lint completed successfully
Loading