Skip to content
Back to pull request #2486

Makefile.config: set CR_PLUGIN_DEFAULT variable #78

Sign in to view logs

Makefile.config: set CR_PLUGIN_DEFAULT variable

Makefile.config: set CR_PLUGIN_DEFAULT variable #78

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (GCC=1)
21m 8s
build (CLANG=1)
21m 19s
42m 27s