CI.yml

name: CI

on:
  push:
    branches: [ main ]
  pull_request:

jobs:
  build:
    runs-on: ubuntu-24.04
    steps:
      - name: Checkout
        uses: actions/checkout@v4
      - name: Install dev container dependencies
        run: npm install -g @devcontainers/cli@0.65.0
      - name: Create dev container
        run: devcontainer up --workspace-folder .
      - name: Update generated files
        run: devcontainer exec --workspace-folder . make --always-make check_generated_files check_generated_files_container
      - name: Update generated without acap-build
        run: devcontainer exec --remote-env ACAP_BUILD_IMPL=equivalent --workspace-folder . make check_generated_files_container
      - name: Run other checks
        run: devcontainer exec --workspace-folder . make check_other
      - name: Run miri check
        run: devcontainer exec --workspace-folder . make check_miri