Skip to content

Commit

Permalink
(github/ci) add basic CI that attempts to build harness
Browse files Browse the repository at this point in the history
  • Loading branch information
bensimner committed Mar 6, 2024
1 parent 30837db commit 2abe122
Showing 1 changed file with 34 additions and 0 deletions.
34 changes: 34 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
name: CI

on:
push:
branches:
- master
# pull_request: {}

# cancel in-progress job when a new push is performed
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true

jobs:
build:
strategy:
matrix:
# version: [4.12.0, 4.14.1]
version: [4.14.1]


runs-on: ubuntu-22.04

steps:
- uses: actions/checkout@v3

- name: System dependencies (ubuntu)
run: |
sudo apt install build-essential gcc-aarch64-linux-gnu qemu-system-aarch64
- name: Build harness
timeout-minutes: 5
run: |
make build

0 comments on commit 2abe122

Please sign in to comment.