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
#39774
Remove old `Hint Extern` hack for `impl_persistent` that seems no longer needed.
4 jobs for
ci/robbert/hint_extern_impl_persistent
in 15 minutes and 44 seconds (queued for 25 seconds)
4973d0b3
1 related merge request:
!610 Remove old `Hint Extern` hack for `impl_persistent` that seems no longer needed.
Pipeline
Needs
Jobs
4
Tests
0
Status
Job ID
Name
Coverage
Build
passed
#108209
fp
build-coq.8.11.2
00:08:38
Dec 23, 2020
passed
#108208
fp-timing
build-coq.8.12.2
00:06:45
Dec 23, 2020
passed
#108207
fp
build-coq.8.13.dev
00:14:50
Dec 23, 2020
passed
#108206
fp
build-coq.dev
00:14:51
Dec 23, 2020