Skip to content

Commit

Permalink
script: remove set
Browse files Browse the repository at this point in the history
  • Loading branch information
fkrause98 committed Jan 9, 2025
1 parent 5e09a3c commit c69f173
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions .github/scripts/levm_default_diff.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,5 @@
#!/bin/bash

# Exit on error, undefined vars, and pipe failures
set -euo pipefail

if [ "$#" -ne 2 ]; then
echo "Usage: $0 <default_file> <levm_file>"
exit 1
Expand Down

0 comments on commit c69f173

Please sign in to comment.