Merge branch 'main' into chore/operation-registration-check

.github/workflows/merge.yaml → .github/workflows/dependabot.yaml

@@ -1,10 +1,10 @@
-name: merge
+name: dependabot
 on: pull_request
 permissions:
   contents: write
   pull-requests: write
 jobs:
-  dependabot:
+  merge:
     runs-on: ubuntu-latest
     if: github.actor == 'dependabot[bot]'
     steps:

.github/workflows/document.yaml

@@ -4,17 +4,23 @@ on:
     branches:
       - main
   pull_request:
+permissions:
+  contents: read
+  pages: write
+  id-token: write
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: Swatinem/rust-cache@v2
-      - uses: Homebrew/actions/setup-homebrew@master
+      - uses: actions/configure-pages@v4
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
       - run: tools/setup.sh
       - run: cargo doc --all-features
-      - uses: peaceiris/actions-gh-pages@v3
-        if: github.ref == 'refs/heads/main'
+      - run: rm target/doc/.lock
+      - uses: actions/upload-pages-artifact@v3
         with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          publish_dir: target/doc
+          path: target/doc
+      - uses: actions/deploy-pages@v4
+        if: github.ref == 'refs/heads/main'

.github/workflows/release.yaml

@@ -0,0 +1,23 @@
+name: release
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+concurrency:
+  group: release-${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    environment: ${{ github.ref == 'refs/heads/main' && 'release' || 'test' }}
+    steps:
+      - uses: actions/checkout@v4
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
+      - run: tools/setup.sh
+      - run: cargo install cargo-workspaces
+      - run: cargo workspaces publish -y --from-git
+        env:
+          CARGO_REGISTRY_TOKEN: ${{ secrets.CARGO_REGISTRY_TOKEN }}
+        if: github.ref == 'refs/heads/main'

.github/workflows/test.yaml

@@ -9,8 +9,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: Swatinem/rust-cache@v2
-      - uses: Homebrew/actions/setup-homebrew@master
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
       - run: tools/setup.sh
       - run: cargo build --all-features
   test:
@@ -23,15 +23,30 @@ jobs:
     runs-on: ${{ matrix.os }}
     steps:
       - uses: actions/checkout@v4
-      - uses: Swatinem/rust-cache@v2
-      - uses: Homebrew/actions/setup-homebrew@master
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
       - run: tools/setup.sh
       - run: cargo test --all-features
   bench:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: Swatinem/rust-cache@v2
-      - uses: Homebrew/actions/setup-homebrew@master
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
       - run: tools/setup.sh
       - run: cargo bench
+  dialect_build:
+    # TODO Remove this job when refactoring of dialect macros is done.
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: swatinem/rust-cache@v2
+      - uses: homebrew/actions/setup-homebrew@master
+      - run: tools/setup.sh
+      - run: cargo install cargo-expand
+      - run: cd melior && cargo expand --all-features dialect::ods > ~/current.rs
+      - uses: actions/checkout@v4
+        with:
+          ref: main
+      - run: cd melior && cargo expand --all-features dialect::ods > ~/main.rs
+      - run: diff ~/main.rs ~/current.rs