Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Pipelines
#31423
remove long-deprecated cofeT and dec_agree
4 jobs for
ci/ralf/deprecated
in 15 minutes and 46 seconds (queued for 2 seconds)
37a0b2b0
1 related merge request:
!477 Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways
Pipeline
Needs
Jobs
4
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#79698
fp
build-coq.8.10.2
00:08:10
Jul 14, 2020
passed
#79697
fp-timing
build-coq.8.11.2
00:06:49
Jul 14, 2020
passed
#79696
fp
build-coq.8.12.dev
00:15:46
Jul 14, 2020
passed
#79699
fp
build-coq.8.9.1
00:07:44
Jul 14, 2020