Skip to content
Snippets Groups Projects
Unverified Commit 0b531c48 authored by Aleksandr Lesnenko's avatar Aleksandr Lesnenko Committed by GitHub
Browse files

remove fuzzing empty workflow because we will make it optional (#24409)

parent 10088680
No related branches found
No related tags found
No related merge requests found
# Required checks with path filtering rules will block pull requests from merging if they change only the excluded files.
# This is a workaround to allow the PR to be merged.
# https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks
name: Fuzzing
on:
push:
branches:
- 'master'
- 'release-**'
pull_request:
paths:
- 'docs/**'
jobs:
fe-fuzz-tokenizer:
runs-on: ubuntu-latest
steps:
- run: |
echo "Didn't run due to conditional filtering"
fe-fuzz-recursive-parser:
runs-on: ubuntu-latest
steps:
- run: |
echo "Didn't run due to conditional filtering"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment