Skip to content

Commit 3ca8428

Browse files
committed
Add a CI job to check for warnings
This attempts a build and fails the job if there are any warnings.
1 parent 74a7ef4 commit 3ca8428

File tree

2 files changed

+20
-0
lines changed

2 files changed

+20
-0
lines changed

.github/workflows/test.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,15 @@ on:
77
pull_request:
88

99
jobs:
10+
build:
11+
runs-on: ubuntu-18.04
12+
steps:
13+
- uses: actions/checkout@v2
14+
- uses: actions/setup-python@v3
15+
with:
16+
python-version: 3.x
17+
- name: Build spec without warnings
18+
run: ./scripts/build.sh --install
1019
cddl:
1120
runs-on: ubuntu-18.04
1221
steps:

scripts/build.sh

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
#! /bin/bash
2+
set -ex
3+
4+
SCRIPT_DIR=$(cd $(dirname "$0") && pwd -P)
5+
ROOT=$(dirname $SCRIPT_DIR)
6+
7+
if [ "$1" = "--install" ]; then
8+
pip install bikeshed
9+
fi
10+
11+
bikeshed --die-on=warning spec index.bs

0 commit comments

Comments
 (0)