linux

Fix a few direct modifications to generated files #1061

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (clang, no sanitizer)	1m 19s
linux (gcc, sanitizers)	47s
linux (gcc, no sanitizer)	1m 16s
	3m 22s