Skip to content

Commit

Permalink
Try to make arm-v9.4-a in CI
Browse files Browse the repository at this point in the history
Trolldemorted committed Oct 8, 2024

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
1 parent 5df9e7f commit 438cb7b
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
@@ -63,6 +63,9 @@ jobs:
run: |
eval $(opam env)
etc/ci_core_tests.sh
git clone https://github.com/rems-project/sail-arm.git
cd ./sail-arm/arm-v9.4-a/
make
build-docker:
runs-on: "ubuntu-latest"

0 comments on commit 438cb7b

Please sign in to comment.