Compare commits

...

2 Commits

Author SHA1 Message Date
Bagatur
60f8e1567e fix 2024-01-02 12:35:57 -05:00
Bagatur
c6516df4c0 infra: manual dispatch check_diffs 2024-01-02 12:34:25 -05:00

View File

@@ -10,6 +10,7 @@ on:
- ".github/tools/**"
- ".github/workflows/**"
- "libs/**"
workflow_dispatch:
# If another push to the same PR or branch happens while this workflow is still running,
# cancel the earlier run in favor of the next run.