Add missing workflows #147

lucacome · 2024-07-03T20:42:18Z

Adds some missing workflows, updates CodeQL and linter settings

Before creating a PR, run through this checklist and mark each as complete.

I have read the CONTRIBUTING guide
I have proven my fix is effective or that my feature works
I have checked that all unit tests pass after adding my changes
I have ensured the README is up to date
I have rebased my branch onto main
I will ensure my PR is targeting the main branch and pulling from my branch on my own fork

lucacome self-assigned this Jul 3, 2024

lucacome requested a review from a team as a code owner July 3, 2024 20:42

github-actions bot added documentation Pull requests/issues for documentation chore Pull requests for routine tasks labels Jul 3, 2024

lucacome force-pushed the chore/common-files branch 2 times, most recently from 712bf06 to 2fe8f30 Compare July 3, 2024 21:25

Add missing workflows

4562562

lucacome force-pushed the chore/common-files branch from 2fe8f30 to 4562562 Compare July 3, 2024 21:28

Merge branch 'main' into chore/common-files

10a7afa

jjngx approved these changes Jul 8, 2024

View reviewed changes

lucacome merged commit a546d52 into main Jul 8, 2024

lucacome deleted the chore/common-files branch July 8, 2024 17:38

Provide feedback