Skip to content

Commit

Permalink
Fix yaml whitespace
Browse files Browse the repository at this point in the history
  • Loading branch information
scottopell committed May 13, 2024
1 parent cbd15df commit cf93f0e
Showing 1 changed file with 9 additions and 9 deletions.
18 changes: 9 additions & 9 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -75,15 +75,15 @@ jobs:
- uses: actions-rust-lang/setup-rust-toolchain@v1.8
- run: cargo build --bin smp --release
- run: |
for config in ./examples/*.yaml; do
echo "Testing with config $config"
timeout 1 ./target/release/lading --no-target --config-path "$config"
exit_code=$?
if [ $exit_code -ne 124 ]; then
echo "Test failed or did not timeout for $config"
exit 1
fi
done
for config in ./examples/*.yaml; do
echo "Testing with config $config"
timeout 1 ./target/release/lading --no-target --config-path "$config"
exit_code=$?
if [ $exit_code -ne 124 ]; then
echo "Test failed or did not timeout for $config"
exit 1
fi
done
kani:
name: Kani Proofs
Expand Down

0 comments on commit cf93f0e

Please sign in to comment.