Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
always trigger required sharktank CI
Since this is required for pr merges, we always need to run it if we don't trigger some dummy workflow. Recommended course of action is to always trigger required jobs, or do not require path-conditionally triggered jobs.
- Loading branch information