CI: disable the workflow_dispatch
trigger for the JuliaFormatter action#472
Merged
bors[bot] merged 1 commit intomasterfrom DilumAluthge-patch-1Oct 31, 2023
+3-2
workflow_dispatch
trigger for the JuliaFormatter action#472