Skip to content
GitLab
Explore
Sign in
Commits on Source
8
CI: prepare for automatic nightly builds
· 7a8ab283
Ralf Jung
authored
Jan 23, 2018
7a8ab283
stop overwriting make uninstall
· 02e138e2
Ralf Jung
authored
Feb 03, 2018
02e138e2
Fix build.
· b4ee7025
Jacques-Henri Jourdan
authored
Feb 14, 2018
b4ee7025
Merge branch 'ci/gen_proofmode' of gitlab.mpi-sws.org:FP/LambdaRust-coq into ci/gen_proofmode
· 43ea9e07
Jacques-Henri Jourdan
authored
Feb 14, 2018
43ea9e07
update CI
· f98b96dc
Ralf Jung
authored
Feb 15, 2018
f98b96dc
update Makefile and CI
· baa8ace0
Ralf Jung
authored
Feb 15, 2018
baa8ace0
Bump Iris.
· 9fa73303
Jacques-Henri Jourdan
authored
Feb 15, 2018
9fa73303
Merge branch 'ci/gen_proofmode' of gitlab.mpi-sws.org:FP/LambdaRust-coq into ci/gen_proofmode
· 8799209d
Jacques-Henri Jourdan
authored
Feb 15, 2018
8799209d
Loading
Ralf Jung authored
Ralf Jung authored
Ralf Jung authored
Ralf Jung authored
