Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
sarah.grebing
ProofScriptParser
Pipelines
#16193
update gui
6 jobs for
LulusSequentMatcher
in 108 minutes and 14 seconds (queued for 3 seconds)
54d86b82
1 related merge request:
!5 Lulus sequent matcher
Pipeline
Needs
Jobs
6
Failed Jobs
1
Tests
0
Name
Stage
Failure
failed
setup
Setup
There has been a timeout failure or the job got stuck. Check your timeout limits or try again
No job log