Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Test Refactor Sphinx #3507: Pull request #3066 synchronize by madman-bob
September 4, 2023 16:10 34s madman-bob:test-refactor
madman-bob:test-refactor
September 4, 2023 16:10 34s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3506: Pull request #3034 synchronize by buzden
September 4, 2023 14:39 37s buzden:macro-without-extension
buzden:macro-without-extension
September 4, 2023 14:39 37s
Test Refactor Sphinx #3505: Pull request #3066 synchronize by madman-bob
September 4, 2023 13:38 34s madman-bob:test-refactor
madman-bob:test-refactor
September 4, 2023 13:38 34s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3504: Pull request #3034 synchronize by buzden
September 4, 2023 12:51 36s buzden:macro-without-extension
buzden:macro-without-extension
September 4, 2023 12:51 36s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3503: Pull request #2791 synchronize by buzden
September 4, 2023 12:48 40s buzden:memo-lazy
buzden:memo-lazy
September 4, 2023 12:48 40s
Test Refactor Sphinx #3502: Pull request #3066 synchronize by madman-bob
September 1, 2023 16:04 35s madman-bob:test-refactor
madman-bob:test-refactor
September 1, 2023 16:04 35s
Test Refactor Sphinx #3501: Pull request #3066 synchronize by gallais
September 1, 2023 14:41 35s madman-bob:test-refactor
madman-bob:test-refactor
September 1, 2023 14:41 35s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3500: Pull request #3063 synchronize by Adowrath
September 1, 2023 14:24 40s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
September 1, 2023 14:24 40s
Test Refactor Sphinx #3499: Pull request #3066 synchronize by madman-bob
September 1, 2023 13:50 44s madman-bob:test-refactor
madman-bob:test-refactor
September 1, 2023 13:50 44s
Test Refactor Sphinx #3498: Pull request #3066 synchronize by madman-bob
September 1, 2023 13:37 35s madman-bob:test-refactor
madman-bob:test-refactor
September 1, 2023 13:37 35s
Test pack and lsp during CI Sphinx #3497: Pull request #3067 opened by CodingCellist
September 1, 2023 12:58 39s CodingCellist:ci-pack-lsp
CodingCellist:ci-pack-lsp
September 1, 2023 12:58 39s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3496: Pull request #3063 synchronize by Adowrath
September 1, 2023 11:16 36s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
September 1, 2023 11:16 36s
Test Refactor Sphinx #3495: Pull request #3066 synchronize by madman-bob
September 1, 2023 11:01 35s madman-bob:test-refactor
madman-bob:test-refactor
September 1, 2023 11:01 35s
[ new ] function options for case blocks (#3062) Sphinx #3494: Commit c52b029 pushed by gallais
September 1, 2023 10:35 44s main
main
September 1, 2023 10:35 44s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3493: Pull request #3063 synchronize by Adowrath
August 31, 2023 18:23 41s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 31, 2023 18:23 41s
bugfix: change order of pattern-matching to avoid dead-code bug in IDE parser Sphinx #3492: Pull request #3064 opened by ohad
August 31, 2023 13:50 34s ohad:bugfix-ide-protocol
ohad:bugfix-ide-protocol
August 31, 2023 13:50 34s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3491: Pull request #3063 synchronize by Adowrath
August 31, 2023 12:46 36s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
August 31, 2023 12:46 36s
[ ttc ] Compare modification time with nanosecond precision (#3046) Sphinx #3490: Commit af7ba2f pushed by gallais
August 31, 2023 10:56 43s main
main
August 31, 2023 10:56 43s
[ refactor ] S-Exp protocols to depend on fewer Idris modules (#3060) Sphinx #3489: Commit d3dc9b7 pushed by gallais
August 31, 2023 10:53 43s main
main
August 31, 2023 10:53 43s
[ fix #3057 ] properly handle char literals in comments Sphinx #3488: Commit e321458 pushed by gallais
August 31, 2023 10:52 43s main
main
August 31, 2023 10:52 43s
[ 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