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

[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3536: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 35s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 35s
[ ci ] re #3067: fix CI on main branch Sphinx #3535: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 35s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 35s
[ fix ] consider nest when guessing scrutinee (#3070) Sphinx #3534: Commit 0029257 pushed by gallais
September 14, 2023 13:29 35s main
main
September 14, 2023 13:29 35s
Implement Precise Reference Counting for C backend Sphinx #3533: Pull request #2989 synchronize by Alex1005a
September 13, 2023 20:51 32s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
September 13, 2023 20:51 32s
Implement Precise Reference Counting for C backend Sphinx #3532: Pull request #2989 synchronize by Alex1005a
September 13, 2023 20:45 40s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
September 13, 2023 20:45 40s
Implement Precise Reference Counting for C backend Sphinx #3531: Pull request #2989 synchronize by Alex1005a
September 13, 2023 20:25 33s Alex1005a:reuse-analysis
Alex1005a:reuse-analysis
September 13, 2023 20:25 33s
Test pack and lsp during CI (#3067) Sphinx #3530: Commit 9d08315 pushed by gallais
September 13, 2023 16:37 40s main
main
September 13, 2023 16:37 40s
[ fix ] consider nest when guessing scrutinee Sphinx #3529: Pull request #3070 synchronize by dunhamsteve
September 12, 2023 04:35 33s dunhamsteve:issue-2048
dunhamsteve:issue-2048
September 12, 2023 04:35 33s
Test pack and lsp during CI Sphinx #3528: Pull request #3067 synchronize by CodingCellist
September 11, 2023 17:19 49s CodingCellist:ci-pack-lsp
CodingCellist:ci-pack-lsp
September 11, 2023 17:19 49s
[ fix ] consider nest when guessing scrutinee Sphinx #3527: Pull request #3070 synchronize by dunhamsteve
September 11, 2023 16:00 31s dunhamsteve:issue-2048
dunhamsteve:issue-2048
September 11, 2023 16:00 31s
Test pack and lsp during CI Sphinx #3526: Pull request #3067 synchronize by CodingCellist
September 11, 2023 15:20 46s CodingCellist:ci-pack-lsp
CodingCellist:ci-pack-lsp
September 11, 2023 15:20 46s
[ fix ] Fix Show of TTImp for functions with with clauses Sphinx #3525: Pull request #2631 synchronize by buzden
September 11, 2023 10:30 35s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 11, 2023 10:30 35s
[ fix ] Fix interface elaboration when %unbound_implicits is off Sphinx #3524: Pull request #3052 synchronize by dunhamsteve
September 9, 2023 04:17 34s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
September 9, 2023 04:17 34s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3523: Pull request #3034 synchronize by buzden
September 8, 2023 15:12 35s buzden:macro-without-extension
buzden:macro-without-extension
September 8, 2023 15:12 35s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3522: Pull request #2791 synchronize by buzden
September 8, 2023 13:28 32s buzden:memo-lazy
buzden:memo-lazy
September 8, 2023 13:28 32s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3521: Pull request #3034 synchronize by buzden
September 8, 2023 12:39 33s buzden:macro-without-extension
buzden:macro-without-extension
September 8, 2023 12:39 33s
Test pack and lsp during CI Sphinx #3520: Pull request #3067 synchronize by CodingCellist
September 8, 2023 12:33 37s CodingCellist:ci-pack-lsp
CodingCellist:ci-pack-lsp
September 8, 2023 12:33 37s
Merge pull request #3043 from dunhamsteve/issue-3030 Sphinx #3519: Commit 7227096 pushed by andrevidela
September 8, 2023 11:55 32s main
main
September 8, 2023 11:55 32s
[ fix ] Fix interface elaboration when %unbound_implicits is off Sphinx #3518: Pull request #3052 synchronize by dunhamsteve
September 8, 2023 03:41 33s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
September 8, 2023 03:41 33s
[ fix ] support .lidr.md and .lidr.tex extensions Sphinx #3517: Pull request #3071 synchronize by dunhamsteve
September 8, 2023 03:38 31s dunhamsteve:literate-exts
dunhamsteve:literate-exts
September 8, 2023 03:38 31s
[ fix ] consider nest when guessing scrutinee Sphinx #3516: Pull request #3070 synchronize by dunhamsteve
September 8, 2023 03:35 36s dunhamsteve:issue-2048
dunhamsteve:issue-2048
September 8, 2023 03:35 36s
[ fix ] Totality checker misses indirect references to negative data Sphinx #3515: Pull request #3043 synchronize by dunhamsteve
September 8, 2023 03:27 34s dunhamsteve:issue-3030
dunhamsteve:issue-3030
September 8, 2023 03:27 34s
[ fix ] Totality checker misses indirect references to negative data Sphinx #3514: Pull request #3043 synchronize by dunhamsteve
September 8, 2023 03:20 38s dunhamsteve:issue-3030
dunhamsteve:issue-3030
September 8, 2023 03:20 38s
[ cleanup ] use default arguments Sphinx #3513: Commit b4d7bba pushed by gallais
September 7, 2023 13:57 34s main
main
September 7, 2023 13:57 34s
[ 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