Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
1,165 workflow runs
1,165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Fix pattern match issue with function application in Refl Sphinx #3390: Pull request #3027 opened by dunhamsteve
July 23, 2023 03:22 35s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 23, 2023 03:22 35s
Remove shadowed names in documentation Sphinx #3389: Commit 870bc82 pushed by gallais
July 21, 2023 14:38 34s main
main
July 21, 2023 14:38 34s
Remove shadowed names in documentation Sphinx #3388: Pull request #3026 opened by wilkomanger
July 21, 2023 11:59 41s wilkomanger:shadowed-names
wilkomanger:shadowed-names
July 21, 2023 11:59 41s
[ fix ] Only set IDRIS2_PREFIX if it is unset (fixes Issue 3022) Sphinx #3387: Pull request #3024 opened by CodingCellist
July 20, 2023 16:07 42s CodingCellist:issue-3022
CodingCellist:issue-3022
July 20, 2023 16:07 42s
Merge pull request #3019 from andrevidela/contributing-updates Sphinx #3386: Commit 23694c7 pushed by andrevidela
July 18, 2023 16:35 41s main
main
July 18, 2023 16:35 41s
[ docs ] Update contributing guidelines Sphinx #3385: Pull request #3019 synchronize by andrevidela
July 18, 2023 16:27 34s andrevidela:contributing-updates
andrevidela:contributing-updates
July 18, 2023 16:27 34s
Merge pull request #3007 from stefan-hoeck/constant_fin Sphinx #3384: Commit f125278 pushed by andrevidela
July 18, 2023 16:13 37s main
main
July 18, 2023 16:13 37s
[ docs ] Update contributing guidelines Sphinx #3383: Pull request #3019 opened by andrevidela
July 18, 2023 15:09 35s andrevidela:contributing-updates
andrevidela:contributing-updates
July 18, 2023 15:09 35s
[ performance ] make Eq and Ord for Fin run in constant time Sphinx #3382: Pull request #3007 synchronize by andrevidela
July 18, 2023 14:46 49s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 18, 2023 14:46 49s
[ base ] Add getTermCols and getTermLines to base library and fix pri… Sphinx #3381: Commit 8d7791b pushed by mattpolzin
July 18, 2023 14:42 43s main
main
July 18, 2023 14:42 43s
Merge pull request #3017 from dunhamsteve/issue-3016 Sphinx #3380: Commit 6be16a3 pushed by andrevidela
July 18, 2023 14:40 44s main
main
July 18, 2023 14:40 44s
[ base ] Add getTermCols and getTermLines to base library and fix pri… Sphinx #3379: Pull request #3009 synchronize by dunhamsteve
July 16, 2023 20:17 39s dunhamsteve:term-size
dunhamsteve:term-size
July 16, 2023 20:17 39s
[ fix ] Ensure local defs with no claim are local Sphinx #3378: Pull request #3017 synchronize by dunhamsteve
July 16, 2023 16:01 44s dunhamsteve:issue-3016
dunhamsteve:issue-3016
July 16, 2023 16:01 44s
docs: typo in list difference documentation (#3018) Sphinx #3377: Commit 388d217 pushed by mattpolzin
July 16, 2023 15:39 39s main
main
July 16, 2023 15:39 39s
docs: typo in list difference documentation Sphinx #3376: Pull request #3018 opened by scarf005
July 16, 2023 14:02 42s scarf005:typo-list-diff
scarf005:typo-list-diff
July 16, 2023 14:02 42s
[ fix ] Ensure local defs with no claim are local Sphinx #3375: Pull request #3017 opened by dunhamsteve
July 16, 2023 02:28 35s dunhamsteve:issue-3016
dunhamsteve:issue-3016
July 16, 2023 02:28 35s
Fixity access modifier Sphinx #3374: Pull request #3011 synchronize by andrevidela
July 11, 2023 12:33 45s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 11, 2023 12:33 45s
Fixity access modifier Sphinx #3373: Pull request #3011 opened by andrevidela
July 11, 2023 11:01 37s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 11, 2023 11:01 37s
[ base ] Add getTermCols and getTermLines to base library and fix pri… Sphinx #3372: Pull request #3009 opened by dunhamsteve
July 9, 2023 03:06 40s dunhamsteve:term-size
dunhamsteve:term-size
July 9, 2023 03:06 40s
Revert "Treat unit types as erased in constructors (#3002)" Sphinx #3371: Commit 6729fa8 pushed by CodingCellist
July 7, 2023 15:48 33s main
main
July 7, 2023 15:48 33s
Revert "Treat unit types as erased in constructors" (#3002) Sphinx #3370: Pull request #3008 opened by CodingCellist
July 7, 2023 15:46 37s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:46 37s
Revert "Treat unit types as erased in constructors (#3002)" Sphinx #3369: Commit c5ac540 pushed by CodingCellist
July 7, 2023 15:43 34s revert-3002-unit-elim
revert-3002-unit-elim
July 7, 2023 15:43 34s
Treat unit types as erased in constructors (#3002) Sphinx #3368: Commit 677acf0 pushed by Z-snails
July 5, 2023 18:51 41s main
main
July 5, 2023 18:51 41s
Treat unit types as erased in constructors Sphinx #3367: Pull request #3002 synchronize by Z-snails
July 5, 2023 16:05 36s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 16:05 36s
Treat unit types as erased in constructors Sphinx #3366: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:58 35s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:58 35s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.