Skip to content

Commit

Permalink
chore(ci): fix the no internal test patch
Browse files Browse the repository at this point in the history
- condition was not precise enough and we were still running tests on push
to internal main
  • Loading branch information
IceTDrinker committed Jul 16, 2024
1 parent d65a4d8 commit cef055b
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/aws_tfhe_integer_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,8 @@ jobs:
setup-instance:
name: Setup instance (unsigned-integer-tests)
if: (github.event_name == 'push' && github.repository == 'zama-ai/tfhe-rs') ||
github.event_name != 'pull_request' || contains(github.event.label.name, 'approved')
(github.event_name == 'pull_request' && contains(github.event.label.name, 'approved')) ||
(github.event_name != 'push' && github.event_name != 'pull_request')
runs-on: ubuntu-latest
outputs:
runner-name: ${{ steps.start-instance.outputs.label }}
Expand Down
3 changes: 2 additions & 1 deletion .github/workflows/aws_tfhe_signed_integer_tests.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,8 @@ jobs:
setup-instance:
name: Setup instance (signed-integer-tests)
if: (github.event_name == 'push' && github.repository == 'zama-ai/tfhe-rs') ||
github.event_name != 'pull_request' || contains(github.event.label.name, 'approved')
(github.event_name == 'pull_request' && contains(github.event.label.name, 'approved')) ||
(github.event_name != 'push' && github.event_name != 'pull_request')
runs-on: ubuntu-latest
outputs:
runner-name: ${{ steps.start-instance.outputs.label }}
Expand Down

0 comments on commit cef055b

Please sign in to comment.