Skip to content

GitLab

I
Iris

remove long-deprecated cofeT and dec_agree

4 jobs for ci/ralf/deprecated in 15 minutes and 46 seconds (queued for 2 seconds)
37a0b2b0 37a0b2b0a4c7362b18c5afa89fa632ac9a33bd14
1 related merge request: !477 Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways
Status Job ID Name Coverage
  Build
passed #79698
fp
build-coq.8.10.2

00:08:10

passed #79697
fp-timing
build-coq.8.11.2

00:06:49

passed #79696
fp
build-coq.8.12.dev

00:15:46

passed #79699
fp
build-coq.8.9.1

00:07:44