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

[ ttc ] Compare modification time with nanosecond precision Sphinx #3487: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 13:23 42s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 13:23 42s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3486: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 10:01 45s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 10:01 45s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3485: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 09:41 42s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 09:41 42s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3484: Pull request #3046 synchronize by AlgebraicWolf
August 30, 2023 08:16 43s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 30, 2023 08:16 43s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3483: Pull request #3063 opened by Adowrath
August 29, 2023 22:17 42s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 29, 2023 22:17 42s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3482: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:49 39s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:49 39s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3481: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:43 32s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:43 32s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3480: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:40 40s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:40 40s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3479: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:39 42s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:39 42s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3478: Pull request #3046 synchronize by AlgebraicWolf
August 29, 2023 19:29 46s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 29, 2023 19:29 46s
[ new ] function options for case blocks Sphinx #3477: Pull request #3062 synchronize by gallais
August 29, 2023 15:06 44s gallais:fnopt-case
gallais:fnopt-case
August 29, 2023 15:06 44s
[ new ] function options for case blocks Sphinx #3476: Pull request #3062 opened by gallais
August 29, 2023 14:30 49s gallais:fnopt-case
gallais:fnopt-case
August 29, 2023 14:30 49s
Refactor S-Exp protocols to depend on fewer Idris modules Sphinx #3475: Pull request #3060 synchronize by ohad
August 29, 2023 12:35 34s ohad:parser-refactor
ohad:parser-refactor
August 29, 2023 12:35 34s
Refactor S-Exp protocols to depend on fewer Idris modules Sphinx #3474: Pull request #3060 synchronize by ohad
August 29, 2023 10:57 34s ohad:parser-refactor
ohad:parser-refactor
August 29, 2023 10:57 34s
Refactor S-Exp protocols to depend on fewer Idris modules Sphinx #3473: Pull request #3060 synchronize by ohad
August 28, 2023 14:53 34s ohad:parser-refactor
ohad:parser-refactor
August 28, 2023 14:53 34s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3472: Pull request #2791 synchronize by buzden
August 28, 2023 14:29 39s buzden:memo-lazy
buzden:memo-lazy
August 28, 2023 14:29 39s
Refactor S-Exp protocols to depend on fewer Idris modules Sphinx #3471: Pull request #3060 opened by ohad
August 28, 2023 14:26 43s ohad:parser-refactor
ohad:parser-refactor
August 28, 2023 14:26 43s
[ base ] Add lists' infix-by functions, complementary to existing ones Sphinx #3470: Commit a4ccb27 pushed by gallais
August 28, 2023 12:54 33s main
main
August 28, 2023 12:54 33s
[ fix #3057 ] properly handle char literals in comments Sphinx #3469: Pull request #3058 opened by gallais
August 28, 2023 12:27 34s issue3057
issue3057
August 28, 2023 12:27 34s
[ fix #3057 ] properly handle char literals in comments Sphinx #3468: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 38s issue3057
issue3057
August 28, 2023 12:25 38s
[ base ] Add lists' infix-by functions, complementary to existing ones Sphinx #3467: Pull request #3056 opened by buzden
August 25, 2023 09:50 37s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 37s
[ prelude ] Add some lacking %tcinlines Sphinx #3466: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 35s main
main
August 23, 2023 10:04 35s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Sphinx #3465: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 46s main
main
August 23, 2023 10:04 46s
[ racket ] Add library loading (#3049) Sphinx #3464: Commit 694b165 pushed by gallais
August 23, 2023 10:04 34s main
main
August 23, 2023 10:04 34s
[ unelab ] Properly unelaborate metavariables originating from `%sear… Sphinx #3463: Commit 115c9e0 pushed by gallais
August 23, 2023 07:02 40s main
main
August 23, 2023 07:02 40s
ProTip! You can narrow down the results and go further in time using created:<2023-08-23 or the other filters available.