Skip to content
Docker CI

use $(MAKE) instead of +make for recursive calls in Makefile #220

Sign in to view logs

use $(MAKE) instead of +make for recursive calls in Makefile

use $(MAKE) instead of +make for recursive calls in Makefile #220

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, coqorg/base:4.13.1-flambda)
8m 36s
8m 36s