Skip to content

Merge branch 'sysprog21:master' into master #8

Merge branch 'sysprog21:master' into master

Merge branch 'sysprog21:master' into master #8

Workflow file for this run

name: CI
on: [push, pull_request]
jobs:
lab0-c:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- uses: webfactory/[email protected]
continue-on-error: true
with:
ssh-private-key: ${{ secrets.SSH_PRIVATE_KEY }}
- name: install-dependencies
run: |
.ci/check-sanity.sh
sudo apt-get update
sudo apt-get -q -y install build-essential cppcheck
- name: make
run: |
git clone [email protected]:sysprog21/lab0-c-private || echo "No provisioning profile found"
.ci/check-provisioning.sh
make
- name: make check
run: |
make check || (cat scripts/weeping.raw ; exit 1)
cat scripts/kirby.raw
- name: make test
run: |
make test || (cat scripts/weeping.raw ; exit 1)
cat scripts/kirby.raw
coding-style:
runs-on: ubuntu-22.04
steps:
- uses: actions/checkout@v4
- name: coding convention
run: |
sudo apt-get install -q -y clang-format-14
.ci/check-newline.sh
.ci/check-format.sh
shell: bash