1# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
2#
3# SPDX-License-Identifier: BSD-2-Clause
4
5# Actions to run on Push and Pull Request
6name: CI
7
8on:
9  push:
10    branches:
11      - master
12  pull_request:
13
14jobs:
15  check:
16    name: License Check
17    runs-on: ubuntu-latest
18    steps:
19    - uses: seL4/ci-actions/license-check@master
20
21  links:
22    name: Links
23    runs-on: ubuntu-latest
24    steps:
25      - uses: seL4/ci-actions/link-check@master
26