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

Support more flexible requirements for Golden tests Sphinx #4422: Pull request #3349 synchronize by mattpolzin
July 16, 2024 14:42 41s mattpolzin:golden-test-requirements
mattpolzin:golden-test-requirements
July 16, 2024 14:42 41s
[ fix ] check indentation after = in declarations Sphinx #4421: Commit 99c6657 pushed by gallais
July 16, 2024 10:07 30s main
main
July 16, 2024 10:07 30s
Support more flexible requirements for Golden tests Sphinx #4420: Pull request #3349 synchronize by mattpolzin
July 16, 2024 04:30 30s mattpolzin:golden-test-requirements
mattpolzin:golden-test-requirements
July 16, 2024 04:30 30s
Support more flexible requirements for Golden tests Sphinx #4419: Pull request #3349 synchronize by mattpolzin
July 16, 2024 04:27 27s mattpolzin:golden-test-requirements
mattpolzin:golden-test-requirements
July 16, 2024 04:27 27s
[ fix ] check indentation after = in declarations Sphinx #4418: Pull request #3350 opened by dunhamsteve
July 16, 2024 02:55 31s dunhamsteve:decl-indent
dunhamsteve:decl-indent
July 16, 2024 02:55 31s
Support more flexible requirements for Golden tests Sphinx #4417: Pull request #3349 opened by mattpolzin
July 14, 2024 22:52 30s mattpolzin:golden-test-requirements
mattpolzin:golden-test-requirements
July 14, 2024 22:52 30s
Merge pull request #3348 from joelberkeley/fromrightleft Sphinx #4416: Commit 182bcff pushed by andrevidela
July 14, 2024 14:21 32s main
main
July 14, 2024 14:21 32s
Add fromRight and fromLeft for extracting values out of Either Sphinx #4415: Pull request #3348 opened by joelberkeley
July 13, 2024 22:00 28s joelberkeley:fromrightleft
joelberkeley:fromrightleft
July 13, 2024 22:00 28s
Fix annoying warning when running tests on some macOS machines (#3346) Sphinx #4414: Commit be2ec7d pushed by gallais
July 8, 2024 08:27 43s main
main
July 8, 2024 08:27 43s
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