Skip to content

GitLab

Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Fix: variables contraint to a value at declaration were buggy (close #2) 

cf example/Bug/freevar.lut node ko
2 jobs for 2-issue-with-free-variables-constrained-in-the-type-declaration in 9 minutes and 43 seconds (queued for 1 second)
latest
ccb8b62b
1 related merge request: !1 WIP: Resolve "issue with free variables constrained in the type declaration"
Status Job ID Name Coverage
  Build
passed #86573
build

00:05:16

 
  Test
passed #86574
test_opam_test

00:04:26