Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add an option that dumps package details to JSON Sphinx #4282: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:38 33s package-json
package-json
June 2, 2024 23:38 33s
Add note to CHANGELOG_NEXT Sphinx #4281: Commit be72fdb pushed by mattpolzin
June 2, 2024 23:38 29s package-json
package-json
June 2, 2024 23:38 29s
Add an option that dumps package details to JSON Sphinx #4280: Pull request #3293 synchronize by mattpolzin
June 2, 2024 23:07 28s package-json
package-json
June 2, 2024 23:07 28s
Add new module to api ipkg file Sphinx #4279: Commit 06af29d pushed by mattpolzin
June 2, 2024 23:07 33s package-json
package-json
June 2, 2024 23:07 33s
Add an option that dumps package details to JSON Sphinx #4278: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:45 30s package-json
package-json
June 2, 2024 22:45 30s
make new operator private Sphinx #4277: Commit e0cac96 pushed by mattpolzin
June 2, 2024 22:45 29s package-json
package-json
June 2, 2024 22:45 29s
Add an option that dumps package details to JSON Sphinx #4276: Pull request #3293 synchronize by mattpolzin
June 2, 2024 22:25 37s package-json
package-json
June 2, 2024 22:25 37s
maybe just don't collide with existing equally good fixity Sphinx #4275: Commit c7cae0c pushed by mattpolzin
June 2, 2024 22:25 31s package-json
package-json
June 2, 2024 22:25 31s
Add an option that dumps package details to JSON Sphinx #4274: Pull request #3293 opened by mattpolzin
June 2, 2024 21:39 47s package-json
package-json
June 2, 2024 21:39 47s
cleanup Sphinx #4273: Commit 66b5edb pushed by mattpolzin
June 2, 2024 21:31 30s package-json
package-json
June 2, 2024 21:31 30s
Add a test for ipkg json dump Sphinx #4272: Commit 8fa943d pushed by mattpolzin
June 2, 2024 21:20 28s package-json
package-json
June 2, 2024 21:20 28s
make dependency output easier to ingest by another tool Sphinx #4271: Commit 875fb65 pushed by mattpolzin
June 2, 2024 21:03 39s package-json
package-json
June 2, 2024 21:03 39s
expose ipkg json dump as new option Sphinx #4270: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 32s package-json
package-json
June 2, 2024 20:40 32s
[ fixup #2939 ] Make futures not interfere with optimisations Sphinx #4269: Pull request #3292 opened by buzden
May 31, 2024 12:32 29s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 29s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #4268: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 30s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 30s
Updated CHANGELOG_NEXT.md Sphinx #4267: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 48s main
main
May 31, 2024 09:22 48s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #4266: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 54s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 54s
Add pipeline operators Sphinx #4264: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 29s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 29s
[ performance ] a faster implementation of unpack (#3281) Sphinx #4262: Commit e73ca06 pushed by gallais
May 24, 2024 07:06 27s main
main
May 24, 2024 07:06 27s
refactor(base): move implementation of Data.Vect.nubBy to global scope Sphinx #4261: Pull request #3288 synchronize by troiganto
May 23, 2024 15:21 32s troiganto:nub-by
troiganto:nub-by
May 23, 2024 15:21 32s
Add pipeline operators Sphinx #4259: Pull request #3284 synchronize by observant2
May 19, 2024 15:22 51s observant2:add_pipe_operators
observant2:add_pipe_operators
May 19, 2024 15:22 51s
[ funext ] Add a proof for funext variants with the other quantities Sphinx #4258: Commit cf68e99 pushed by gallais
May 19, 2024 14:00 57s main
main
May 19, 2024 14:00 57s
Add pipeline operators Sphinx #4257: Pull request #3284 opened by observant2
May 19, 2024 10:54 31s observant2:add_pipe_operators
observant2:add_pipe_operators
May 19, 2024 10:54 31s
[cleanup] Makefile boot-prefix cleanup Sphinx #4256: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:47 26s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:47 26s
[cleanup] Makefile boot-prefix cleanup Sphinx #4255: Pull request #3245 synchronize by mattpolzin
May 19, 2024 04:30 34s mattpolzin:misc-makefile-cleanup
mattpolzin:misc-makefile-cleanup
May 19, 2024 04:30 34s