diff options
| author | Alexander Richardson <Alexander.Richardson@cl.cam.ac.uk> | 2021-06-25 15:26:35 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-25 15:26:35 +0100 |
| commit | 949a185a72c907fbb51a3f808c44e277e3947dff (patch) | |
| tree | f793c2d7e2cc7daca522327832451ff91cc8689a /.github | |
| parent | c8232068c7afd6e44d7cc8eeec6c1558d9e5f6cf (diff) | |
| download | sail-riscv-949a185a72c907fbb51a3f808c44e277e3947dff.zip sail-riscv-949a185a72c907fbb51a3f808c44e277e3947dff.tar.gz sail-riscv-949a185a72c907fbb51a3f808c44e277e3947dff.tar.bz2 | |
Also run GitHub actions for PRs
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/compile.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml index ca6569f..48bd305 100644 --- a/.github/workflows/compile.yml +++ b/.github/workflows/compile.yml @@ -1,6 +1,6 @@ name: CI -on: [push] +on: [push, pull_request] jobs: build: |