Actions: idris-lang/Idris2
Actions
253 workflow run results
253 workflow run results
IDRIS2_PREFIX
if it is unset (fixes Issue 3022) (#…
Sphinx
#3402:
Commit 51403ab
pushed
by
gallais
decideLTE
(#3031)
Sphinx
#3400:
Commit 4fcb0fb
pushed
by
gallais
decideLTE
Sphinx
#3398:
Pull request #3031
synchronize
by
Saransh-cpp
decideLTE
Sphinx
#3397:
Pull request #3031
opened
by
Saransh-cpp
IDRIS2_PREFIX
if it is unset (fixes Issue 3022)
Sphinx
#3387:
Pull request #3024
opened
by
CodingCellist