-
Notifications
You must be signed in to change notification settings - Fork 447
50 lines (50 loc) · 1.76 KB
/
interface-spec.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
name: Interface Specification
on:
pull_request:
paths:
- .github/workflows/interface-spec.yml
- docs/references/http-gateway-protocol-spec.md
- docs/references/ic-interface-spec.md
- docs/references/_attachments/certificates.cddl
- docs/references/_attachments/http-gateway.did
- docs/references/_attachments/ic.did
- docs/references/_attachments/interface-spec-changelog.md
- docs/references/_attachments/requests.cddl
push:
branches:
- main
jobs:
cddl:
name: Check cddl files
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Check cddl files
run: |
docker run --rm -v $PWD/docs/references/_attachments:/workdir ghcr.io/anweiss/cddl-cli:0.9.1 compile-cddl --cddl /workdir/certificates.cddl
docker run --rm -v $PWD/docs/references/_attachments:/workdir ghcr.io/anweiss/cddl-cli:0.9.1 compile-cddl --cddl /workdir/requests.cddl
candid:
name: Check candid files
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Check candid files
run: |
curl -L https://github.com/dfinity/candid/releases/download/2023-07-25/didc-linux64 -o didc
chmod +x didc
./didc check docs/references/_attachments/http-gateway.did
./didc check docs/references/_attachments/ic.did
interface-spec-tag:
name: Tag PR with interface-spec
if: ${{ github.event_name == 'pull_request' }}
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Tag PR with interface-spec
run: |
gh pr edit ${{ github.event.pull_request.number }} --add-label interface-spec
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}