Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
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
Add orBothFalse proof Sphinx #3362: Commit 754f6af pushed by gallais
July 5, 2023 15:36 34s main
main
July 5, 2023 15:36 34s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and Decls literals Sphinx #3361: Pull request #2930 synchronize by gallais
July 5, 2023 15:36 41s madman-bob:from-ttimp
madman-bob:from-ttimp
July 5, 2023 15:36 41s
Generalize Prelude proof helpers Sphinx #3360: Commit af3c5fd pushed by gallais
July 5, 2023 15:36 37s main
main
July 5, 2023 15:36 37s
Treat unit types as erased in constructors Sphinx #3359: Pull request #3002 synchronize by Z-snails
July 5, 2023 15:06 36s Z-snails:unit-elim
Z-snails:unit-elim
July 5, 2023 15:06 36s
[ performance ] make Eq and Ord for Fin run in constant time Sphinx #3358: Pull request #3007 opened by stefan-hoeck
July 5, 2023 14:04 38s stefan-hoeck:constant_fin
stefan-hoeck:constant_fin
July 5, 2023 14:04 38s
Generalize Prelude proof helpers Sphinx #3357: Pull request #3005 synchronize by madman-bob
June 30, 2023 14:44 35s madman-bob:proof-helpers
madman-bob:proof-helpers
June 30, 2023 14:44 35s
ProTip! You can narrow down the results and go further in time using created:<2023-06-30 or the other filters available.