Skip to content

GitLab

Add missing `Hint Mode` for `ghost_var` and `gset_bij`. 

Also put the arguments of `gset_bijG` in the right order.
4 jobs for ci/robbert/missing_hint_mode in 13 minutes and 13 seconds (queued for 2 seconds)
6e83a775
1 related merge request: !601 Add missing `Hint Mode` for `ghost_var` and `gset_bij`; fix arguments of `gset_bijG`
Status Job ID Name Coverage
  Build
passed #106408
fp
build-coq.8.10.2

00:07:54

passed #106407
fp
build-coq.8.11.2

00:09:32

passed #106406
fp-timing
build-coq.8.12.1

00:07:00

passed #106405
fp
build-coq.dev

00:13:13