Use Nix for GitLab pipelines

This MR changes .gitlab-ci.yml to use nix instead of opam/rustup.

Furthermore, the .gitlab-ci.yml has been completely rewritten to use artifacts/cache and take advantage of parallelism using jobs.

requested review from @lgaeher

assigned to @lafeychine

marked this merge request as draft

added 1 commit

• 610dcbbc - chore(ci): Add artifacts even for failed jobs

Compare with previous version

marked this merge request as ready

Thanks! I'll try to review and merge this as soon as possible

Note: we should wait with merging this until the issue with showing the build output from dune is resolved

The issue seems to be rejected: Do you have any comments you would like to add to the GitHub discussion @lgaeher?

added 1 commit

• f5b4bf54 - chore(nix): Add continuous logs for dune

Compare with previous version

added 1 commit

• c7d54584 - also dune build the frontend folder

Compare with previous version

added 1 commit

• 6f8d2eef - fix

Compare with previous version

This patch is required for the job to succeed:

diff --git a/rr_frontend/output/minivec_patched/dune b/rr_frontend/output/minivec_patched/dune
index 232afdf..a82ef20 100644
--- a/rr_frontend/output/minivec_patched/dune
+++ b/rr_frontend/output/minivec_patched/dune
@@ -2,4 +2,4 @@
 (coq.theory
 (flags -w -notation-overridden -w -redundant-canonical-projection)
 (name refinedrust.examples.minivec_patched)
-(theories caesium lithium refinedrust))
+(theories stdpp iris Ltac2 Equations RecordUpdate lrust caesium lithium refinedrust))

resolved all threads

added 1 commit

• 688d9670 - fix dune file

Compare with previous version

enabled an automatic merge when the pipeline for 688d9670 succeeds

mentioned in commit 1e8db0b6

merged

Thanks a lot for working on this!