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 ] Fix Show of TTImp for functions with with clauses Sphinx #4288: Pull request #2631 synchronize by buzden
June 3, 2024 18:04 33s buzden:fix-show-with-clause
buzden:fix-show-with-clause
June 3, 2024 18:04 33s
[ fix ] Fix search around %defaulthints Sphinx #4287: Pull request #3258 synchronize by buzden
June 3, 2024 18:04 30s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
June 3, 2024 18:04 30s
[ new ] System.Concurrency.(Linear/Session) Sphinx #4286: Pull request #3294 synchronize by gallais
June 3, 2024 17:11 32s gallais:sessions
gallais:sessions
June 3, 2024 17:11 32s
[ new ] System.Concurrency.(Linear/Session) Sphinx #4285: Pull request #3294 synchronize by gallais
June 3, 2024 16:58 34s gallais:sessions
gallais:sessions
June 3, 2024 16:58 34s
[ new ] System.Concurrency.(Linear/Session) Sphinx #4284: Pull request #3294 opened by gallais
June 3, 2024 16:48 31s gallais:sessions
gallais:sessions
June 3, 2024 16:48 31s
[ fixup #2939 ] Make futures not interfere with optimisations Sphinx #4283: Commit a6c5cf5 pushed by gallais
June 3, 2024 14:43 39s main
main
June 3, 2024 14:43 39s
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
ProTip! You can narrow down the results and go further in time using created:<2024-05-24 or the other filters available.