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

[ unelab ] Properly unelaborate metavariables originating from %search Sphinx #3462: Pull request #3055 opened by AlgebraicWolf
August 22, 2023 21:32 31s AlgebraicWolf:unelaborate-search
AlgebraicWolf:unelaborate-search
August 22, 2023 21:32 31s
implement DESTDIR support for distros Sphinx #3461: Commit 48dbc32 pushed by gallais
August 22, 2023 15:44 38s main
main
August 22, 2023 15:44 38s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Sphinx #3460: Pull request #3054 synchronize by Russoul
August 22, 2023 14:52 33s Russoul:uncons
Russoul:uncons
August 22, 2023 14:52 33s
Add library loading for Racket Sphinx #3459: Pull request #3049 synchronize by ysangkok
August 21, 2023 16:10 35s janus/racket-lib
janus/racket-lib
August 21, 2023 16:10 35s
implement DESTDIR support for distros Sphinx #3458: Pull request #3053 synchronize by juhp
August 20, 2023 08:25 34s juhp:DESTDIR
juhp:DESTDIR
August 20, 2023 08:25 34s
[ fix ] Fix interface elaboration when %unbound_implicits is off Sphinx #3455: Pull request #3052 synchronize by dunhamsteve
August 20, 2023 01:45 33s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:45 33s
[ fix ] Fix interface elaboration when %unbound_implicits is off Sphinx #3454: Pull request #3052 opened by dunhamsteve
August 20, 2023 01:42 39s dunhamsteve:interface-implicits
dunhamsteve:interface-implicits
August 20, 2023 01:42 39s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #3451: Pull request #2939 synchronize by AlgebraicWolf
August 18, 2023 13:47 36s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
August 18, 2023 13:47 36s
Merge pull request #3045 from mars0i/main Sphinx #3449: Commit 86c53e6 pushed by andrevidela
August 16, 2023 12:43 42s main
main
August 16, 2023 12:43 42s
[ prelude ] Add some lacking %tcinlines Sphinx #3448: Pull request #3047 synchronize by buzden
August 16, 2023 09:16 35s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 16, 2023 09:16 35s
Add documentation for Not. Sphinx #3447: Pull request #3045 synchronize by mars0i
August 16, 2023 01:09 40s mars0i:main
mars0i:main
August 16, 2023 01:09 40s
[ prelude ] Add some lacking %tcinlines Sphinx #3446: Pull request #3047 opened by buzden
August 15, 2023 17:03 33s buzden:tcinline-some-standard-stuff
buzden:tcinline-some-standard-stuff
August 15, 2023 17:03 33s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3445: Pull request #3046 synchronize by AlgebraicWolf
August 15, 2023 16:45 34s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 15, 2023 16:45 34s
Add documentation for Not. Sphinx #3444: Pull request #3045 synchronize by mars0i
August 15, 2023 16:42 41s mars0i:main
mars0i:main
August 15, 2023 16:42 41s
[ ttc ] Compare modification time with nanosecond precision Sphinx #3443: Pull request #3046 opened by AlgebraicWolf
August 15, 2023 15:16 41s AlgebraicWolf:nanosecond-mtime
AlgebraicWolf:nanosecond-mtime
August 15, 2023 15:16 41s
Add documentation for Not. Sphinx #3442: Pull request #3045 opened by mars0i
August 15, 2023 03:52 32s mars0i:main
mars0i:main
August 15, 2023 03:52 32s
[ fix ] Use freshly built libidris2_support in compiler Sphinx #3441: Pull request #3044 opened by AlgebraicWolf
August 14, 2023 13:24 37s AlgebraicWolf:use-new-support
AlgebraicWolf:use-new-support
August 14, 2023 13:24 37s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3440: Pull request #2021 synchronize by buzden
August 13, 2023 15:43 37s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 13, 2023 15:43 37s
[ fix ] Totality checker misses indirect references to negative data Sphinx #3439: Pull request #3043 opened by dunhamsteve
August 12, 2023 21:54 35s dunhamsteve:issue-3030
dunhamsteve:issue-3030
August 12, 2023 21:54 35s
[ ttc ] Relax existing second-precision time requirements Sphinx #3438: Pull request #3042 opened by buzden
August 12, 2023 08:08 33s buzden:treat-same-time-as-okay
buzden:treat-same-time-as-okay
August 12, 2023 08:08 33s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3437: Pull request #2791 synchronize by buzden
August 10, 2023 13:54 30s buzden:memo-lazy
buzden:memo-lazy
August 10, 2023 13:54 30s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3436: Pull request #3034 synchronize by buzden
August 10, 2023 13:27 41s buzden:macro-without-extension
buzden:macro-without-extension
August 10, 2023 13:27 41s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3435: Pull request #2021 synchronize by buzden
August 10, 2023 13:25 48s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 10, 2023 13:25 48s
[ base ] Make foldr1 and foldr1By public Sphinx #3434: Commit badf1e9 pushed by gallais
August 7, 2023 07:10 32s main
main
August 7, 2023 07:10 32s
[ base ] Make foldr1 and foldr1By public Sphinx #3433: Pull request #3041 opened by dunhamsteve
August 6, 2023 22:29 44s dunhamsteve:list1-public
dunhamsteve:list1-public
August 6, 2023 22:29 44s
ProTip! You can narrow down the results and go further in time using created:<2023-08-06 or the other filters available.