2024-10-10 14:42:27 +00:00
|
|
|
name: Lockbud
|
|
|
|
|
2024-11-06 11:54:31 +00:00
|
|
|
on:
|
|
|
|
push:
|
|
|
|
paths-ignore:
|
|
|
|
- '**/*.md'
|
2024-10-10 14:42:27 +00:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
test:
|
|
|
|
name: lockbud
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- name: Checkout repository
|
|
|
|
uses: actions/checkout@v4
|
|
|
|
|
|
|
|
- name: Generate code coverage
|
|
|
|
run: |
|
|
|
|
git clone https://github.com/BurtonQin/lockbud.git
|
|
|
|
cd lockbud
|
2024-11-19 14:16:15 +00:00
|
|
|
sed -i 's/-2024-10-05//g' rust-toolchain.toml
|
2024-10-10 14:42:27 +00:00
|
|
|
cargo install --path .
|
|
|
|
cd ..
|
|
|
|
cargo clean
|
|
|
|
cargo lockbud -k deadlock -l gupaxx &> >(tee log.out)
|
|
|
|
if grep -q "WARN" log.out; then
|
|
|
|
echo "Lockbud warnings found:"
|
|
|
|
echo "$output"
|
|
|
|
exit 1
|
|
|
|
fi
|