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 ] auto search returns no solution instead of ambiguous solution #3313 Sphinx #4342: Pull request #3314 opened by dunhamsteve
June 15, 2024 22:53 33s dunhamsteve:issue-3313
dunhamsteve:issue-3313
June 15, 2024 22:53 33s
Update typedd.rst Sphinx #4341: Commit 866354f pushed by gallais
June 15, 2024 11:19 34s main
main
June 15, 2024 11:19 34s
Update typedd.rst Sphinx #4340: Pull request #3312 opened by m-rinaldi
June 15, 2024 09:46 32s m-rinaldi:patch-2
m-rinaldi:patch-2
June 15, 2024 09:46 32s
[ fix ] case spliting under implicit/auto parameter Sphinx #4339: Commit 055568b pushed by gallais
June 13, 2024 07:40 37s main
main
June 13, 2024 07:40 37s
[ fix ] case spliting under implicit/auto parameter Sphinx #4338: Pull request #3308 opened by dunhamsteve
June 13, 2024 04:06 31s dunhamsteve:issue-2331
dunhamsteve:issue-2331
June 13, 2024 04:06 31s
Update typedd.rst Sphinx #4337: Commit f8adee7 pushed by gallais
June 12, 2024 21:32 31s main
main
June 12, 2024 21:32 31s
Update typedd.rst Sphinx #4336: Pull request #3307 opened by m-rinaldi
June 12, 2024 21:30 31s m-rinaldi:patch-1
m-rinaldi:patch-1
June 12, 2024 21:30 31s
[ fix ] implicits are not in scope under an implicit parameter block Sphinx #4335: Pull request #3306 opened by dunhamsteve
June 12, 2024 21:05 27s dunhamsteve:implicitParam
dunhamsteve:implicitParam
June 12, 2024 21:05 27s
Sphinx Sphinx #4334: by gallais
June 12, 2024 20:04 36s main
main
June 12, 2024 20:04 36s
Add %foreign_impl pragma for augmenting ffi functions (#3303) Sphinx #4332: Commit 9e84b15 pushed by gallais
June 11, 2024 16:45 34s main
main
June 11, 2024 16:45 34s
[ fix ] Fix search around %defaulthints Sphinx #4331: Pull request #3258 synchronize by buzden
June 11, 2024 11:13 28s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
June 11, 2024 11:13 28s
Add an option that dumps package details to JSON (#3293) Sphinx #4330: Commit 88a5328 pushed by gallais
June 11, 2024 10:32 33s main
main
June 11, 2024 10:32 33s
[ new ] added util functions for SortedMap (#3254) Sphinx #4329: Commit 0174618 pushed by gallais
June 11, 2024 10:05 38s main
main
June 11, 2024 10:05 38s
[ new ] added util functions for SortedMap Sphinx #4328: Pull request #3254 synchronize by gallais
June 11, 2024 09:22 27s claudio-etterli:sortedMap-utils
claudio-etterli:sortedMap-utils
June 11, 2024 09:22 27s
[ base ] Move most useful and stable parts of Data.Fin.Extra to base Sphinx #4327: Commit 109033c pushed by gallais
June 11, 2024 09:21 27s main
main
June 11, 2024 09:21 27s
Add %foreign_impl pragma for augmenting ffi functions Sphinx #4326: Pull request #3303 synchronize by dunhamsteve
June 11, 2024 03:08 31s dunhamsteve:foreignImpl
dunhamsteve:foreignImpl
June 11, 2024 03:08 31s
[ base ] Move most useful and stable parts of Data.Fin.Extra to base Sphinx #4325: Pull request #3304 opened by buzden
June 10, 2024 19:22 32s buzden:move-data-fin-extra-to-base
buzden:move-data-fin-extra-to-base
June 10, 2024 19:22 32s
Add %foreign_impl pragma for augmenting ffi functions Sphinx #4324: Pull request #3303 opened by dunhamsteve
June 9, 2024 05:34 31s dunhamsteve:foreignImpl
dunhamsteve:foreignImpl
June 9, 2024 05:34 31s
fixed bugs that caused compiler to hang forever when there is %tcinline pragma Sphinx #4323: Pull request #3272 synchronize by AntonPing
June 6, 2024 17:56 29s AntonPing:tcinline-fuel
AntonPing:tcinline-fuel
June 6, 2024 17:56 29s
Add pipeline operators (#3284) Sphinx #4322: Commit 1e6e125 pushed by gallais
June 6, 2024 09:59 38s main
main
June 6, 2024 09:59 38s
Add pipeline operators Sphinx #4321: Pull request #3284 synchronize by gallais
June 6, 2024 09:08 34s observant2:add_pipe_operators
observant2:add_pipe_operators
June 6, 2024 09:08 34s
Add pipeline operators Sphinx #4320: Pull request #3284 synchronize by observant2
June 5, 2024 16:54 36s observant2:add_pipe_operators
observant2:add_pipe_operators
June 5, 2024 16:54 36s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4319: Pull request #2791 synchronize by buzden
June 5, 2024 16:35 33s buzden:memo-lazy
buzden:memo-lazy
June 5, 2024 16:35 33s
Add pipeline operators Sphinx #4318: Pull request #3284 synchronize by observant2
June 5, 2024 16:27 31s observant2:add_pipe_operators
observant2:add_pipe_operators
June 5, 2024 16:27 31s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4317: Pull request #2791 synchronize by buzden
June 5, 2024 16:11 29s buzden:memo-lazy
buzden:memo-lazy
June 5, 2024 16:11 29s