Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] Implement Zippable for several standard types + small cleanup Sphinx #3611: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 34s main
main
October 16, 2023 21:41 34s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3610: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 35s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 35s
[ base ] Implement Zippable for several standard types + small cleanup Sphinx #3609: Pull request #3106 opened by buzden
October 16, 2023 17:32 40s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 40s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3608: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 42s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 42s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Sphinx #3607: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 30s main
main
October 16, 2023 08:49 30s
[ fix ] Prevent relative path traversal in elaborator scripts Sphinx #3606: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 35s main
main
October 16, 2023 08:43 35s
[ test ] Remove unnecessary messages from stderr Sphinx #3605: Pull request #3105 opened by MithicSpirit
October 16, 2023 03:22 35s MithicSpirit:node_test_cleanup
MithicSpirit:node_test_cleanup
October 16, 2023 03:22 35s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers.All Sphinx #3604: Pull request #3102 opened by 0xd34df00d
October 15, 2023 20:56 31s 0xd34df00d:vect-all-applicative
0xd34df00d:vect-all-applicative
October 15, 2023 20:56 31s
[ fix ] Prevent relative path traversal in elaborator scripts Sphinx #3603: Pull request #3101 opened by AlgebraicWolf
October 15, 2023 20:47 34s AlgebraicWolf:fix-relative-path-traversal
AlgebraicWolf:fix-relative-path-traversal
October 15, 2023 20:47 34s
[ fix #3097 ] Fix issues parsing %logging followed by named impls (#3… Sphinx #3602: Commit c04404a pushed by gallais
October 13, 2023 18:03 42s main
main
October 13, 2023 18:03 42s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Sphinx #3601: Pull request #3098 synchronize by dunhamsteve
October 13, 2023 16:18 43s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 13, 2023 16:18 43s
[ impl ] Support default implicits in named implementations (#3100) Sphinx #3600: Commit 419a440 pushed by gallais
October 13, 2023 14:26 37s main
main
October 13, 2023 14:26 37s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Sphinx #3599: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 44s main
main
October 13, 2023 14:26 44s
[ new ] add Data.List.grouped function (#3089) Sphinx #3598: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 35s main
main
October 13, 2023 12:48 35s
[ base ] Add a bridge between MonadState and Ref Sphinx #3597: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 37s main
main
October 13, 2023 12:47 37s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Sphinx #3596: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 42s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 42s
[ impl ] Support default implicits in named implementations Sphinx #3595: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 32s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 32s
[ elab ] Implement file operations, e.g. applicable for type providers Sphinx #3594: Commit 6815aef pushed by gallais
October 13, 2023 12:26 43s main
main
October 13, 2023 12:26 43s
[ impl ] Support default implicits in named implementations Sphinx #3593: Pull request #3100 synchronize by buzden
October 12, 2023 12:31 45s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 12, 2023 12:31 45s
[ impl ] Support default implicits in named implementations Sphinx #3592: Pull request #3100 opened by buzden
October 12, 2023 12:29 33s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 12, 2023 12:29 33s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Sphinx #3591: Pull request #3099 synchronize by buzden
October 12, 2023 11:47 34s buzden:file-io-in-elab
buzden:file-io-in-elab
October 12, 2023 11:47 34s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Sphinx #3590: Pull request #3099 synchronize by buzden
October 12, 2023 09:45 32s buzden:file-io-in-elab
buzden:file-io-in-elab
October 12, 2023 09:45 32s
[ elab ] Support limited file operations in elab scripts, e.g. enable type providers Sphinx #3589: Pull request #3099 opened by buzden
October 11, 2023 20:21 37s buzden:file-io-in-elab
buzden:file-io-in-elab
October 11, 2023 20:21 37s
[ elab ] Make %macro-function be callable without the extension Sphinx #3588: Commit cbbd0c8 pushed by gallais
October 11, 2023 12:20 1m 5s main
main
October 11, 2023 12:20 1m 5s
[ parser ] Fix issues parsing %logging followed by named impls - fix #3097 Sphinx #3587: Pull request #3098 opened by dunhamsteve
October 11, 2023 01:37 34s dunhamsteve:parse-logging
dunhamsteve:parse-logging
October 11, 2023 01:37 34s