Skip to content
Lint Code Base

[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… #5468

Sign in to view logs

[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers…

[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… #5468

Triggered via push October 16, 2023 08:49
@gallaisgallais
pushed 7c8076c
main
Status Success
Total duration 2m 23s
Artifacts –

ci-super-linter.yml

on: push
Lint Code Base
2m 14s
Lint Code Base
Fit to window
Zoom out
Zoom in