ci: update CI dependencies

Also:
- run integration tests on platforms where they are available
- make file structure and naming more consistent

.github/workflows/audit.yml

@@ -1,12 +1,14 @@
 name: Audit
+
 on:
   schedule:
     - cron: '0 0 * * *'
+
 jobs:
   audit:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: rustsec/audit-check@v1.4.1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/coverage.yml

@@ -14,9 +14,9 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout repository
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
-      - name: Install toolchain
+      - name: Install stable toolchain
         uses: dtolnay/rust-toolchain@stable
         with:
           components: llvm-tools-preview
@@ -41,7 +41,7 @@ jobs:
         uses: coverallsapp/github-action@v2
 
       - name: Archive coverage results
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: coverage-report
           path: lcov.info

.github/workflows/main.yml

@@ -1,3 +1,5 @@
+name: Rust
+
 on:
   push:
     branches:
@@ -6,18 +8,20 @@ on:
     branches:
       - master
 
-name: Rust
-
 jobs:
-  runner-matrix:
+  rust:
     name: Build, lint, test
     strategy:
       fail-fast: false
       matrix:
         os: [ubuntu-latest, windows-latest, macos-latest]
+        include:
+          - features: default
+          - os: ubuntu-latest
+            features: integration-tests
     runs-on: ${{ matrix.os }}
     steps:
-      - name: Checkout sources
+      - name: Checkout repository
         uses: actions/checkout@v4
 
       - name: Install stable toolchain
@@ -28,7 +32,7 @@ jobs:
       - name: Install nextest
         uses: taiki-e/install-action@nextest
 
-      - name: Build constraints
+      - name: Build AIR constraints
         run: cargo run --bin constraint-evaluation-generator
 
       - name: Run fmt
@@ -43,7 +47,7 @@ jobs:
         run: cargo clippy --all-targets -- -D warnings
 
       - name: Run tests
-        run: cargo nextest run --no-fail-fast --all-targets
+        run: cargo nextest run --no-fail-fast --all-targets --features ${{ matrix.features }}
 
         # doctests are special [^1] but this step does not incur a performance penalty [^2]
         #