Skip to content

Commit

Permalink
Test CI commit with fixed seed
Browse files Browse the repository at this point in the history
  • Loading branch information
sanket1729 committed Jan 21, 2023
1 parent 7229b85 commit c65e554
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ci/cirrus.sh
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,7 @@ file .libs/* || true
export LOG_COMPILER="$WRAPPER_CMD"

make "$BUILD"
./tests 32 b4edba6ef5e8284fe52b6b77185e6218

if [ "$BENCH" = "yes" ]
then
Expand Down

0 comments on commit c65e554

Please sign in to comment.