Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix annoying warning when running tests on some macOS machines Sphinx #4413: Pull request #3346 opened by mattpolzin
July 7, 2024 19:55 27s mattpolzin:fix-lc-all-macos
mattpolzin:fix-lc-all-macos
July 7, 2024 19:55 27s
idris_support: fix environ for macOS (#3324) Sphinx #4412: Commit 1931509 pushed by mattpolzin
July 3, 2024 17:04 29s main
main
July 3, 2024 17:04 29s
idris_support: fix environ for macOS Sphinx #4411: Pull request #3324 synchronize by mattpolzin
July 3, 2024 16:13 35s barracuda156:environ
barracuda156:environ
July 3, 2024 16:13 35s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4410: Pull request #2791 synchronize by buzden
July 3, 2024 08:36 30s buzden:memo-lazy
buzden:memo-lazy
July 3, 2024 08:36 30s
[ fix ] compile time typecase for functions Sphinx #4409: Commit efce152 pushed by gallais
July 2, 2024 15:38 43s main
main
July 2, 2024 15:38 43s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4408: Pull request #2791 synchronize by buzden
July 2, 2024 09:41 28s buzden:memo-lazy
buzden:memo-lazy
July 2, 2024 09:41 28s
[ fix #3339 ] Set the global test locale Sphinx #4407: Commit 22c25e9 pushed by gallais
July 2, 2024 08:32 30s main
main
July 2, 2024 08:32 30s
[ cleanup ] Make makeFuture to be %foreign, not %extern Sphinx #4406: Commit c5abf4b pushed by gallais
July 2, 2024 08:31 36s main
main
July 2, 2024 08:31 36s
[ cleanup ] Make makeFuture to be %foreign, not %extern Sphinx #4405: Pull request #3341 opened by buzden
July 1, 2024 20:33 33s buzden:harmonize-make-and-await-of-futures
buzden:harmonize-make-and-await-of-futures
July 1, 2024 20:33 33s
[ fix #3339 ] Set the global test locale Sphinx #4404: Pull request #3340 synchronize by buzden
July 1, 2024 16:49 31s buzden:set-test-locale
buzden:set-test-locale
July 1, 2024 16:49 31s
[ fix #3339 ] Set the global test locale Sphinx #4403: Pull request #3340 opened by buzden
July 1, 2024 16:24 30s buzden:set-test-locale
buzden:set-test-locale
July 1, 2024 16:24 30s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4402: Pull request #2791 synchronize by buzden
July 1, 2024 10:41 27s buzden:memo-lazy
buzden:memo-lazy
July 1, 2024 10:41 27s
[ fix ] compile time typecase for functions Sphinx #4401: Pull request #3338 opened by dunhamsteve
June 30, 2024 22:58 31s dunhamsteve:typecase
dunhamsteve:typecase
June 30, 2024 22:58 31s
Support for non-glibc versions of linux (musl, android) Sphinx #4400: Pull request #3336 opened by spocino
June 29, 2024 23:39 1m 21s spocino:main
spocino:main
June 29, 2024 23:39 1m 21s
[ elab ] Change quantity of the search function's argument to 0 Sphinx #4399: Commit 57f455d pushed by gallais
June 28, 2024 12:09 34s main
main
June 28, 2024 12:09 34s
[ elab ] Change quantity of the search function's argument to 0 Sphinx #4398: Pull request #3335 opened by buzden
June 28, 2024 09:24 34s buzden:zeros-in-search
buzden:zeros-in-search
June 28, 2024 09:24 34s
[ elab, minor ] Implement Functor for PiInfo Sphinx #4397: Commit 715a304 pushed by gallais
June 27, 2024 14:51 29s main
main
June 27, 2024 14:51 29s
[ elab, minor ] Implement Functor for PiInfo Sphinx #4396: Pull request #3334 opened by buzden
June 27, 2024 13:29 55s buzden:functor-piinfo
buzden:functor-piinfo
June 27, 2024 13:29 55s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4395: Pull request #2791 synchronize by buzden
June 27, 2024 13:24 1m 22s buzden:memo-lazy
buzden:memo-lazy
June 27, 2024 13:24 1m 22s
Add type annotations to monadic bind #3327 (#3329) Sphinx #4394: Commit f561c78 pushed by gallais
June 27, 2024 11:05 46s main
main
June 27, 2024 11:05 46s
allow buildIdris output to be used as a dependency in other buildIdri… Sphinx #4393: Commit 0ea7c59 pushed by mattpolzin
June 26, 2024 20:23 30s main
main
June 26, 2024 20:23 30s
[nix] allow buildIdris output to be used as a dependency in other buildIdris calls more directly Sphinx #4392: Pull request #3333 opened by mattpolzin
June 26, 2024 15:22 37s mattpolzin:nix-buildIdris-dep-leniency
mattpolzin:nix-buildIdris-dep-leniency
June 26, 2024 15:22 37s
Public export Decidable.Decidable.decision Sphinx #4391: Commit 5f27842 pushed by gallais
June 26, 2024 07:24 37s main
main
June 26, 2024 07:24 37s
Public export Decidable.Decidable.decision Sphinx #4390: Pull request #3332 opened by michaelmesser
June 26, 2024 03:18 28s michaelmesser:patch-1
michaelmesser:patch-1
June 26, 2024 03:18 28s
Nix buildIdris improvement: precisely target executable (#3330) Sphinx #4389: Commit 7d33c04 pushed by mattpolzin
June 26, 2024 00:03 31s main
main
June 26, 2024 00:03 31s