no CI on forks

1 job for master in 60 minutes and 1 second (queued for 5 seconds)
Name Stage Failure
failed
build-iris.dev Build The script exceeded the maximum execution time set for the job
Makefile.coq:715: recipe for target 'talks/demo/part4.vo' failed
make[2]: *** [talks/demo/part4.vo] Error 1
COQC solutions/ex_01_swap.v
COQC exercises/ex_05_parallel_add_mul.v
COQC exercises/ex_04_parallel_add.v
COQC solutions/ex_02_sumlist.v
COQC solutions/ex_05_parallel_add_mul.v
Pulling docker image gitlab/gitlab-runner-helper:x86_64-05161b14 ...
ERROR: Job failed: execution took longer than 1h0m0s seconds