Install Flowistry binary using --locked, update to 0.5.42

Author: willcrichton

.github/workflows/bench.yml

@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
-      - run: cargo bench --bench main -- --output-format bencher | tee crates/flowistry/benches/output.txt
+      - run: cargo bench --locked --bench main -- --output-format bencher | tee crates/flowistry/benches/output.txt
       - uses: benchmark-action/github-action-benchmark@v1
         with:
           tool: 'cargo'

.github/workflows/release.yml

@@ -16,7 +16,7 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: install
-          args: --path crates/flowistry_ide --debug
+          args: --path crates/flowistry_ide --debug --locked
       - run: npm install && npm run build
         working-directory: ide
       - run: pip3 install -r scripts/requirements.txt && python3 scripts/check_versions.py
@@ -49,15 +49,15 @@ jobs:
       - uses: actions/checkout@v1
       - uses: actions-rs/toolchain@v1
         with:
-          toolchain: nightly-2023-08-25
+          toolchain: nightly-2024-01-06
           components: rust-src, rustc-dev, llvm-tools-preview
           target: ${{ matrix.target }}
           profile: minimal
           override: true
       - uses: actions-rs/cargo@v1
         with:
           command: build
-          args: --release
+          args: --release --locked
       - run: python3 ../../scripts/prepare_artifact.py ${{ matrix.target }}
         working-directory: target/release
       - uses: actions/upload-artifact@v2

.github/workflows/tests.yml

@@ -23,9 +23,10 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: build
+          args: --locked
       - run: zip x86_64-unknown-linux-gnu.zip cargo-flowistry* flowistry-driver*
         working-directory: target/debug
-      - run: cargo test --all-targets
+      - run: cargo test --locked --all-targets
       - run: npm ci
         working-directory: ide
       - run: xvfb-run -a npm test -- install --zip=../target/debug/x86_64-unknown-linux-gnu.zip

.gitignore

@@ -5,5 +5,4 @@ data
 .ipynb_checkpoints
 .Rhistory
 .cache
-*.so
-Cargo.lock
+*.so