Update dependencies and add a new release workflow.

.github/workflows/build.yml

@@ -4,7 +4,7 @@ env:
   # A fixed version used for testing, so that the builds don't
   # spontaneously break after a few years.
   # Make sure to update this from time to time.
-  RUST_VERSION: "1.80.1"
+  RUST_VERSION: "1.82.0"
 
 ## At the moment, everything is running on nightly. Once Rocket 0.5 is out, stable/beta can be enabled.
 
@@ -38,44 +38,6 @@ jobs:
           toolchain: ${{ env.RUST_VERSION }}
       - run: cargo check --all-features
 
-  # Run all tests
-  #test:
-  #  needs: check
-  #  name: Test Suite
-  #  runs-on: ubuntu-latest
-  #  env:
-  #    RUSTFLAGS: "-D warnings"
-  #  steps:
-  #    - uses: actions/checkout@v2
-  #    - uses: actions-rs/toolchain@v1
-  #      with:
-  #        profile: minimal
-  #        toolchain: stable
-  #        override: true
-  #    - uses: actions-rs/cargo@v1
-  #      with:
-  #        command: test
-  #        args: --features "shields_up"
-
-  # Run all tests, but with beta
-  #test-beta:
-  #  needs: check
-  #  name: Test Suite (Beta)
-  #  runs-on: ubuntu-latest
-  #  env:
-  #    RUSTFLAGS: "-D warnings"
-  #  steps:
-  #    - uses: actions/checkout@v2
-  #    - uses: actions-rs/toolchain@v1
-  #      with:
-  #        profile: minimal
-  #        toolchain: beta
-  #        override: true
-  #    - uses: actions-rs/cargo@v1
-  #      with:
-  #        command: test
-  #        args: --features "shields_up"
-
   # Run all tests
   test-nightly:
     needs: check

.github/workflows/release.yml

@@ -0,0 +1,36 @@
+name: build
+on:
+  push:
+    tags:
+      - '*'
+
+jobs:
+  build-classifier:
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - platform: ubuntu-20.04
+            artifact_name: bn-classifier
+            asset_name: aeon-compute-engine-linux
+          - platform: windows-latest
+            artifact_name: bn-classifier.exe
+            asset_name: aeon-compute-engine-windows
+          - platform: macos-latest
+            artifact_name: bn-classifier
+            asset_name: aeon-compute-engine-macos
+
+    runs-on: ${{ matrix.platform }}
+    steps:
+      - uses: actions/checkout@v4
+      - name: install Rust stable
+        uses: dtolnay/rust-toolchain@stable
+      - name: compile binary
+        run: cargo build --release
+      - name: Upload binaries to release
+        uses: svenstaro/upload-release-action@v2
+        with:
+          repo_token: ${{ secrets.GITHUB_TOKEN }}
+          file: target/release/${{ matrix.artifact_name }}
+          asset_name: ${{ matrix.asset_name }}
+          tag: ${{ github.ref }}

Cargo.toml

@@ -16,19 +16,19 @@ rustdoc-args = ["--html-in-header", "docs-head.html"]
 #lto = true
 
 [dependencies]
-biodivine-lib-bdd = "0.5.19"
-biodivine-lib-param-bn = "0.5.11"
+biodivine-lib-bdd = "0.5.22"
+biodivine-lib-param-bn = "0.5.13"
 rocket = "0.5.1"
 rocket_cors = "0.6.0"
 json = "0.12.4"
-regex = "1.10.6"
+regex = "1.11.1"
 rand = "0.8.5"
-futures = "0.3.30"
-tokio = "1.40.0"
+futures = "0.3.31"
+tokio = "1.41.1"
 fixed-map = "0.9.5"
 lazy_static = "1.5.0"
 biodivine-pbn-control = { git = "https://github.com/sybila/biodivine-pbn-control", rev = "bae48c10e62c217c047bd7b92f4a9861c51560c3" }
-serde = { version = "1.0.210", features = ["derive"] }
+serde = { version = "1.0.215", features = ["derive"] }
 num-bigint = "0.4.6"
 num-traits = "0.2.19"