Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Verifpal
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Labels
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Operations
Operations
Environments
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Jobs
Commits
Open sidebar
Verifpal
Verifpal
Pipelines
#208
Minor fixes
2 jobs for
coq
in 37 seconds (queued for 2 seconds)
073e4779
1 related merge request:
!9 Coq
Pipeline
Needs
Jobs
2
Tests
0
Status
Job ID
Name
Coverage
Lint
passed
#433
lint
00:00:14
May 01, 2020
Test
passed
#434
test
00:00:23
May 01, 2020