An error occurred while fetching folder content.
A few small tweaks: - Simplify makefile - Cancel in-progress CI jobs when new commits are pushed to a non-main branch - Drop manual codeql config now that GitHub supports automagical configuration
Name | Last commit | Last update |
---|---|---|
.. | ||