Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
P
purescript-gargantext
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
137
Issues
137
List
Board
Labels
Milestones
Merge Requests
4
Merge Requests
4
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
gargantext
purescript-gargantext
Pipelines
#7125
Merge branch 'puresript-format-ci' into 'dev'
fix(ci): add check-lint properly See merge request
!489
3 jobs for
717-locate-in-tree
in 17 minutes and 1 second (queued for 76 minutes and 44 seconds)
latest
4868dbf0
4868dbf0b13adad5bec5220c609112a734f00925
Pipeline
Jobs
3
Status
Job ID
Name
Coverage
Check Lint
passed
#16470
check-lint
00:05:01
Dec 12, 2024
Compile
passed
#16471
compile
00:06:35
Dec 12, 2024
Test
passed
#16472
test
00:05:24
Dec 12, 2024