Style

Fix diff-prog.py for macOS #43

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ClangFormat	37s
Clang warnings	36s
OCamlFormat (4.14.1)	1m 25s
GCC warnings	13s
ShellCheck	5s
	2m 56s