Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
1,165 workflow runs
1,165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(base): runtime-erase implicit length argument to Vect's dropElem. Sphinx #4316: Commit e0b9a02 pushed by gallais
June 5, 2024 14:42 32s main
main
June 5, 2024 14:42 32s
Add an option that dumps package details to JSON Sphinx #4315: Pull request #3293 synchronize by mattpolzin
June 5, 2024 13:36 35s package-json
package-json
June 5, 2024 13:36 35s
correct the docs for the dump-ipkg-json command Sphinx #4314: Commit e042713 pushed by mattpolzin
June 5, 2024 13:36 32s package-json
package-json
June 5, 2024 13:36 32s
fix(base): runtime-erase implicit length argument to Vect's dropElem. Sphinx #4313: Pull request #3301 opened by troiganto
June 5, 2024 13:09 2m 29s troiganto:drop-elem
troiganto:drop-elem
June 5, 2024 13:09 2m 29s
[ fix ] Fix Show of TTImp for functions with with clauses (#2631) Sphinx #4312: Commit 1522c3a pushed by gallais
June 5, 2024 13:02 38s main
main
June 5, 2024 13:02 38s
[ fix ] Fix Show of TTImp for functions with with clauses Sphinx #4311: Pull request #2631 synchronize by gallais
June 5, 2024 13:02 36s buzden:fix-show-with-clause
buzden:fix-show-with-clause
June 5, 2024 13:02 36s
[ base ] Add flipped access/update functions for `Sorted{Set,Map,DMap… Sphinx #4310: Commit 1c588f7 pushed by gallais
June 5, 2024 12:59 28s main
main
June 5, 2024 12:59 28s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Sphinx #4309: Pull request #3247 synchronize by gallais
June 5, 2024 12:59 26s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
June 5, 2024 12:59 26s
refactor(base): move implementation of Data.Vect.nubBy to global scope Sphinx #4308: Commit 2c128e2 pushed by gallais
June 5, 2024 12:54 30s main
main
June 5, 2024 12:54 30s
[ new ] System.Concurrency.(Linear/Session) (#3294) Sphinx #4307: Commit bcf8598 pushed by gallais
June 5, 2024 12:53 33s main
main
June 5, 2024 12:53 33s
Doc: Use executable command for opening lib docs Sphinx #4306: Commit 7a4c9c8 pushed by gallais
June 5, 2024 11:05 34s main
main
June 5, 2024 11:05 34s
fix: typos in "Named Implementations" (#3296) Sphinx #4305: Commit a236bb7 pushed by gallais
June 5, 2024 11:03 27s main
main
June 5, 2024 11:03 27s
fix: typos in "Named Implementations" Sphinx #4304: Pull request #3296 synchronize by gallais
June 5, 2024 11:03 29s jgarte:jgarte-patch-1
jgarte:jgarte-patch-1
June 5, 2024 11:03 29s
[ base ] Data.SortedSet.leftMost and .rightMost (#3260) Sphinx #4303: Commit f83ad9c pushed by gallais
June 5, 2024 11:01 29s main
main
June 5, 2024 11:01 29s
[ base ] Data.SortedSet.leftMost and .rightMost Sphinx #4302: Pull request #3260 synchronize by gallais
June 5, 2024 11:00 37s MithicSpirit:sortedset-minimum
MithicSpirit:sortedset-minimum
June 5, 2024 11:00 37s
clarify toMaybeT docstring Sphinx #4301: Commit 40d4cd8 pushed by gallais
June 5, 2024 10:59 29s main
main
June 5, 2024 10:59 29s
[ doc ] Update documentation for with Sphinx #4300: Commit c0ac024 pushed by gallais
June 5, 2024 10:59 33s main
main
June 5, 2024 10:59 33s
[ new ] Data.SnocList.HasLength from compiler libs (#3299) Sphinx #4299: Commit 004f1fd pushed by gallais
June 5, 2024 10:51 28s main
main
June 5, 2024 10:51 28s
[ doc ] reference intro info on elab Sphinx #4298: Commit 0742b3b pushed by gallais
June 5, 2024 06:53 30s main
main
June 5, 2024 06:53 30s
[ new ] Data.SnocList.HasLength from compiler libs Sphinx #4297: Pull request #3299 synchronize by gallais
June 4, 2024 15:06 31s gallais:snoclist-haslength
gallais:snoclist-haslength
June 4, 2024 15:06 31s
[ new ] Data.SnocList.HasLength from compiler libs Sphinx #4296: Pull request #3299 synchronize by gallais
June 4, 2024 14:04 31s gallais:snoclist-haslength
gallais:snoclist-haslength
June 4, 2024 14:04 31s
[ new ] Data.SnocList.HasLength from compiler libs Sphinx #4295: Pull request #3299 opened by gallais
June 4, 2024 13:57 30s gallais:snoclist-haslength
gallais:snoclist-haslength
June 4, 2024 13:57 30s
fix: typos in "Expressions" Sphinx #4294: Commit d7d8486 pushed by gallais
June 4, 2024 12:08 29s main
main
June 4, 2024 12:08 29s
[ new ] System.Concurrency.(Linear/Session) Sphinx #4290: Pull request #3294 synchronize by gallais
June 4, 2024 09:34 34s gallais:sessions
gallais:sessions
June 4, 2024 09:34 34s
[ base ] Add flipped access/update functions for Sorted{Set,Map,DMap} Sphinx #4289: Pull request #3247 synchronize by buzden
June 3, 2024 18:05 34s buzden:flipped-sorted-map-set-funs
buzden:flipped-sorted-map-set-funs
June 3, 2024 18:05 34s
ProTip! You can narrow down the results and go further in time using created:<2024-06-03 or the other filters available.