Skip to content

Commit

Permalink
Merge pull request #7967 from thomasspriggs/tas/name_code_ql_steps
Browse files Browse the repository at this point in the history
Add appropriate names to steps of code QL CI jobs
  • Loading branch information
thomasspriggs authored Oct 19, 2023
2 parents a6c5175 + 21ca56c commit 2bab0b3
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion .github/workflows/codeql-analysis.yml
Original file line number Diff line number Diff line change
Expand Up @@ -37,9 +37,13 @@ jobs:
# Prefix the list here with "+" to use these queries and those in the config file.
# queries: ./path/to/local/query, your-org/your-repo/queries@main

- run: |
- name: Install dependencies
run: |
sudo apt-get update
sudo apt-get install --no-install-recommends -yq maven flex bison
- name: Build
run: |
make -C src minisat2-download
make -C src -j2
make -C unit -j2
Expand Down

0 comments on commit 2bab0b3

Please sign in to comment.