Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
280 workflow run results
280 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Add documentation for Not. Sphinx #3442: Pull request #3045 opened by mars0i
August 15, 2023 03:52 32s mars0i:main
mars0i:main
August 15, 2023 03:52 32s
[ base ] Make foldr1 and foldr1By public Sphinx #3434: Commit badf1e9 pushed by gallais
August 7, 2023 07:10 32s main
main
August 7, 2023 07:10 32s
[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3432: Commit 3ce8b9f pushed by gallais
August 6, 2023 08:51 37s main
main
August 6, 2023 08:51 37s
[ fix ] Fix pattern match issue with function application in Refl (#3… Sphinx #3429: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 29s main
main
August 4, 2023 12:46 29s
[ error ] Improve error messages for Delay &co Sphinx #3428: Commit f0f776c pushed by gallais
August 4, 2023 12:39 34s main
main
August 4, 2023 12:39 34s
Erase additional PreorderReasoning arguments Sphinx #3426: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 39s main
main
August 4, 2023 12:37 39s
[ fix ] fix scheme002 test on windows Sphinx #3423: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 36s main
main
August 3, 2023 22:16 36s
[ docs ] Fix the formatting warning in the docs Sphinx #3416: Commit b7bda5e pushed by gallais
August 1, 2023 11:48 38s main
main
August 1, 2023 11:48 38s
[ fix ] Fixes build broken by #3021 Sphinx #3411: Commit b481994 pushed by gallais
August 1, 2023 07:01 33s main
main
August 1, 2023 07:01 33s
feat: even and odd for Nat and Integral (#3021) Sphinx #3406: Commit c7abb14 pushed by gallais
July 31, 2023 07:36 34s main
main
July 31, 2023 07:36 34s
[ new ] Fixity access modifier (#3011) Sphinx #3404: Commit 1fa6384 pushed by gallais
July 31, 2023 07:35 35s main
main
July 31, 2023 07:35 35s
[ fix ] Only set IDRIS2_PREFIX if it is unset (fixes Issue 3022) (#… Sphinx #3402: Commit 51403ab pushed by gallais
July 31, 2023 07:18 35s main
main
July 31, 2023 07:18 35s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and De… Sphinx #3401: Commit cbbe761 pushed by gallais
July 31, 2023 07:17 36s main
main
July 31, 2023 07:17 36s
Remove decideLTE (#3031) Sphinx #3400: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 37s main
main
July 27, 2023 07:04 37s
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
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
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
[ 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
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
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
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
improvement: use std lib WellFounded for Sufficient Sphinx #3365: Commit 5fd5b1e pushed by gallais
July 5, 2023 15:44 36s main
main
July 5, 2023 15:44 36s
[ papers ] Port the first part of "Deferring the details [...]" by Li… Sphinx #3364: Commit 18e8873 pushed by gallais
July 5, 2023 15:43 39s main
main
July 5, 2023 15:43 39s
Update docs copyright notice from 2020 to 2023 (#3001) Sphinx #3363: Commit d4a8c95 pushed by gallais
July 5, 2023 15:39 38s main
main
July 5, 2023 15:39 38s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.