Fix CI configs to actually work #7

Merged
shrukan merged 6 commits from refs/pull/7/head into main 2024-02-18 00:15:06 +00:00
2 changed files with 9 additions and 2 deletions
Showing only changes of commit 519906b3ed - Show all commits

View File

@ -41,6 +41,9 @@ jobs:
- name: Check out repository code
uses: actions/checkout@v4
- name: Configure
run: just configure
- name: Static analysis
run: just check
@ -51,5 +54,8 @@ jobs:
- name: Check out repository code
uses: actions/checkout@v4
- name: Configure
run: just configure
- name: Sanitize
run: just sanitize