Actions: idris-lang/Idris2
Actions
Showing runs from all workflows
1,088 workflow run results
1,088 workflow run results
Data.Fin.Extra
to base
Lint Code Base
#6188:
Commit 109033c
pushed
by
gallais
Data.Fin.Extra
to base
Lint the sources
#6269:
Commit 109033c
pushed
by
gallais
Data.Fin.Extra
to base
Sphinx
#4327:
Commit 109033c
pushed
by
gallais
Data.Fin.Extra
to base
Idris2 and External Libs
#706:
Commit 109033c
pushed
by
gallais
dropElem
.
Lint the sources
#6258:
Commit e0b9a02
pushed
by
gallais
dropElem
.
Sphinx
#4316:
Commit e0b9a02
pushed
by
gallais
dropElem
.
Idris2 and External Libs
#695:
Commit e0b9a02
pushed
by
gallais
dropElem
.
Lint Code Base
#6177:
Commit e0b9a02
pushed
by
gallais
Show
of TTImp
for functions with with
clauses (#2631)
Sphinx
#4312:
Commit 1522c3a
pushed
by
gallais