Skip to content

Commit

Permalink
docs: updated documentation for check_pr
Browse files Browse the repository at this point in the history
  • Loading branch information
vincepick committed Dec 21, 2024
1 parent 86f2175 commit 5c22b64
Showing 1 changed file with 5 additions and 3 deletions.
8 changes: 5 additions & 3 deletions scripts/testScripts/check_pr.sh
Original file line number Diff line number Diff line change
@@ -1,10 +1,12 @@
#!/bin/bash

# Tests for Graded Instance Generation
: <<'COMMENT'
Tests for Graded Instance Generation
# Runs all scripts put in ./tests and makes sure that the run at some point contains provided lines.
Runs all scripts put in ./tests and makes sure that the run contains provided lines.
# This script runs more intensive tests, intended for PRs to main.
This script runs more intensive tests, intended for PRs to main.
COMMENT

# Lines being checked for
lines=(
Expand Down

0 comments on commit 5c22b64

Please sign in to comment.