You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Here is a workflow that should run whenever a pull request is created. For some reason it doesn't anymore. Might be to do with the workflow dispatch parameter. It should also be similar to the workflow file in the duckdb-fuzzer-ci repository. Maybe we could also have a CI job that checks that the two files always stay the same? Theoretically I think you can just rip the GitHub actions file form the duckdb-fuzzer-ci
The text was updated successfully, but these errors were encountered:
Here is a workflow that should run whenever a pull request is created. For some reason it doesn't anymore. Might be to do with the workflow dispatch parameter. It should also be similar to the workflow file in the
duckdb-fuzzer-ci
repository. Maybe we could also have a CI job that checks that the two files always stay the same? Theoretically I think you can just rip the GitHub actions file form the duckdb-fuzzer-ciThe text was updated successfully, but these errors were encountered: