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/workflows | |
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/workflows')
-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: |