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

[ fix ] support .lidr.md and .lidr.tex extensions Sphinx #3512: Pull request #3071 opened by dunhamsteve
September 7, 2023 01:10 35s dunhamsteve:literate-exts
dunhamsteve:literate-exts
September 7, 2023 01:10 35s
Add a warning for incompatible visibilities on forward decls and definitions. Sphinx #3511: Pull request #3063 synchronize by Adowrath
September 5, 2023 20:37 37s Adowrath:incompatible-visibilities
Adowrath:incompatible-visibilities
September 5, 2023 20:37 37s
[ fix ] consider nest when guessing scrutinee Sphinx #3510: Pull request #3070 opened by dunhamsteve
September 5, 2023 15:27 35s dunhamsteve:issue-2048
dunhamsteve:issue-2048
September 5, 2023 15:27 35s
Test Refactor Sphinx #3509: Pull request #3066 synchronize by madman-bob
September 5, 2023 10:56 44s madman-bob:test-refactor
madman-bob:test-refactor
September 5, 2023 10:56 44s
Test Refactor Sphinx #3508: Pull request #3066 synchronize by madman-bob
September 5, 2023 09:46 37s madman-bob:test-refactor
madman-bob:test-refactor
September 5, 2023 09:46 37s
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
ProTip! You can narrow down the results and go further in time using created:<2023-08-31 or the other filters available.