Skip to content
Snippets Groups Projects

Update Makefile

Passed
Lennard Gäher created pipeline for commit 91256c62
, finished
1 related merge request: !1 Bump Coq Version to run on Apple Arm Processors
branch
1 job 10 minutes 39 seconds, queued for 3 seconds