Skip to content
Snippets Groups Projects
Select Git revision
  • master protected
  • opam2 default protected
2 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.028Oct211Jul96Jun29May2826Dec25Jul178Jun530May20Mar5Dec27Oct717Aug121126Jul1516May79Dec27Oct20Sep179Aug430Jul2711Jun5428May206Oct30Sep2926330Aug28531Mar21Feb2019131113Jan1022Nov2176Jun11Apr27Mar2514528Feb232131Jan30252319Dec730Nov2220129Oct24221716151110730Sep18101Aug23Jun212017May924Apr19186324Marthat version of dune was too new apparently...opam2opam2bump the dune version we useAdd note about dune pin to readmeUpdate README.mdUpdate srvr-doc.mdupdate server docsremove python2.7 from imageupdate dockerfile to bookwormupdate opam versionUpdate srvr-doc.mdUpdate srvr-doc.mdadd steps to set up coq-speedRevert "remove work-around for an opam issue that should be fixed"update opam in Docker fileAdd python3-distutils to docker image since they are required by z3explain the dune pinonly run .v files in perfupdate the dune version to make coq lang 0.8 availableupdate srvr-doc.mdMerge branch 'docker' into 'opam2'update README and add docker file to this repoeverything moved to the opam2 branchmastermasterremove masterMerge branch 'lennard/opam2-safe-dir' into 'opam2'add safe dir for build directoryMerge branch 'master' into 'master'Change `buildjob` to accommodate external timing runnersCI_RUNNER_TAGS changed formatsomething is wrong with our timing checkalso print the extra Coq flags to the logunprotected branches won't even have the protected variable so that'd be fine, tooestablish 'ci-release' as magic ad-hoc release branchshow which packages are installed in the endlooks like not doing the PINNED_PACKAGES part is enough to avoid the Coq rebuildsremove work-around for an opam issue that should be fixedfix checking whether the repos already existtweak more verbose loggingadd more loggingdon't re-pin Coq all the timeadd back coq-extra-dev