CI: fix name of the GitHub Action top level name
[marnav.git] / .github / workflows / ci.yaml
blob9635e21f81167256d34b1d96b6e2f52c5ab76b7a
1 name: marnav CI
3 on:
4   pull_request:
5   push:
6     branches:
7       - master
9 jobs:
10   build-gcc:
11     runs-on: ubuntu-latest
12     container:
13       image: mariokonrad/marnav:gcc-12.2.0
15       # https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners#docker-container-filesystem=
16       # Quote:
17       # > Note: GitHub Actions must be run by the default Docker user (root).
18       # > Ensure your Dockerfile does not set the USER instruction, otherwise
19       # > you will not be able to access GITHUB_WORKSPACE.
20       options: --user root
22     steps:
23       - name: print versions
24         run: |
25           cmake --version
26           echo "--------------------------------------------------------------------------------"
27           ninja --version
28           echo "--------------------------------------------------------------------------------"
29           g++ --version
31       - uses: actions/checkout@v3
33       - name: configure
34         run: cmake --preset gcc-release -G Ninja
36       - name: build
37         run: cmake --build --preset gcc-release -j
39       - name: test
40         run: ctest --preset gcc-release