Skip to content

Makefile: remove "baremetal" relic from target names #311

Makefile: remove "baremetal" relic from target names

Makefile: remove "baremetal" relic from target names #311

Workflow file for this run

name: Run builds and tests
on:
push:
branches: [ '*' ]
pull_request:
branches: [ $default-branch ]
jobs:
build:
runs-on: ubuntu-20.04
steps:
- uses: actions/checkout@v2
- name: Install xcompiler
run: ./scripts/install-ci.sh
- name: Print xcompiler version
run: riscv64-linux-gnu-gcc --version
- name: Build qemu-image
run: make build-qemu-image
- name: Run virt dry-run tests
run: make out/test-output-virt.txt
- name: Run u64 dry-run tests
run: make out/test-output-u64.txt
- name: Run u32 dry-run tests
run: make out/test-output-u32.txt
- name: Run virt smoke tests
run: make out/smoke-test-output-virt.txt
- name: Run u64 smoke tests
run: make out/smoke-test-output-u64.txt
- name: Run u32 smoke tests
run: make out/smoke-test-output-u32.txt
- name: Make all binaries
run: make all