Skip to content

Integrate linenoise with web server #302

Integrate linenoise with web server

Integrate linenoise with web server #302

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/ssh-agent@v0.7.0
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 git@github.com: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