GitLab

File "./analysis/facts/behavior/service.v", line 48, character 185, warning: unterminated "]"
File "./analysis/facts/model/ideal/service_of_jobs.v", line 49, character 87, warning: unterminated "]"
File "./analysis/facts/model/service_of_jobs.v", line 157, character 84, warning: unterminated inline ">>"
File "./analysis/facts/model/service_of_jobs.v", line 158, character 85, warning: unterminated inline ">>"
$ mv html without-proofs
$ make htmlpretty -j ${NJOBS}
make: *** No rule to make target 'htmlpretty'.  Stop.
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1

Skipping Git submodules setup
Executing "step_script" stage of the job script
Using docker image sha256:f38333aa26aa2d36b20ad655bae19488d2e9a2498f1f2c20490ba217ee0e651e for bbbrandenburg/aspell-ci with digest bbbrandenburg/aspell-ci@sha256:0de5540340ad623f9c4a394a025d2be71d1de878fe1a527fe7a5268dc44cff4d ...
$ scripts/flag-typos-in-comments.sh `find .  -iname '*.v' ! -path './classic/*'`
./analysis/abstract/ideal_jlfp_rta.v: potentially misspelled word 'intereference'
./analysis/facts/priority_inversion.v: potentially misspelled word 'sched'
Cleaning up project directory and file based variables
ERROR: Job failed: exit code 1