Skip to content

fix CI

fix CI #4

Workflow file for this run

name: Lockbud
on: push
jobs:
test:
name: lockbud
runs-on: ubuntu-latest
container:
image: burtonqin/lockbud
env:
LD_LIBRARY_PATH: $LD_LIBRARY_PATH:/usr/local/rustup/toolchains/nightly-x86_64-unknown-linux-gnu/lib:/usr/local/lib
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Generate code coverage
run: |
rustup update
cargo lockbud -k deadlock -l gupaxx