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

[ 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
Add JSON manipulation functions Sphinx #4388: Commit 3649821 pushed by mattpolzin
June 25, 2024 15:37 29s main
main
June 25, 2024 15:37 29s
idris_signal: fix static_assert Sphinx #4387: Commit a45c587 pushed by mattpolzin
June 24, 2024 16:56 29s main
main
June 24, 2024 16:56 29s
idris2.ss: support powerpc (#3326) Sphinx #4386: Commit a38f1ac pushed by mattpolzin
June 24, 2024 16:49 28s main
main
June 24, 2024 16:49 28s
idris2.ss: support powerpc Sphinx #4385: Pull request #3326 synchronize by barracuda156
June 24, 2024 13:24 44s barracuda156:ppc
barracuda156:ppc
June 24, 2024 13:24 44s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4383: Pull request #2791 synchronize by buzden
June 24, 2024 12:45 1m 0s buzden:memo-lazy
buzden:memo-lazy
June 24, 2024 12:45 1m 0s
[ perf ] Use alternative better GC on chez Sphinx #4382: Commit ce2790d pushed by gallais
June 24, 2024 12:34 45s main
main
June 24, 2024 12:34 45s
idris_signal: fix static_assert Sphinx #4381: Pull request #3325 synchronize by barracuda156
June 24, 2024 11:20 32s barracuda156:static_assert
barracuda156:static_assert
June 24, 2024 11:20 32s
[ perf ] Use alternative better GC on chez Sphinx #4380: Pull request #3331 opened by buzden
June 23, 2024 13:00 37s buzden:alternative-gc
buzden:alternative-gc
June 23, 2024 13:00 37s
Nix buildIdris improvement: precisely target executable Sphinx #4379: Pull request #3330 opened by mattpolzin
June 23, 2024 01:49 31s mattpolzin:nix-target-only-executable
mattpolzin:nix-target-only-executable
June 23, 2024 01:49 31s
Add type annotations to monadic bind #3327 Sphinx #4378: Pull request #3329 opened by dunhamsteve
June 23, 2024 00:00 28s dunhamsteve:issue-3327
dunhamsteve:issue-3327
June 23, 2024 00:00 28s
[ new ] totality checking can look under constructors Sphinx #4377: Pull request #3328 opened by dunhamsteve
June 22, 2024 05:10 54s dunhamsteve:total2
dunhamsteve:total2
June 22, 2024 05:10 54s
idris2.ss: support powerpc Sphinx #4376: Pull request #3326 synchronize by barracuda156
June 21, 2024 19:57 32s barracuda156:ppc
barracuda156:ppc
June 21, 2024 19:57 32s
idris_signal: fix static_assert Sphinx #4371: Pull request #3325 opened by barracuda156
June 21, 2024 08:53 39s barracuda156:static_assert
barracuda156:static_assert
June 21, 2024 08:53 39s
idris_support: fix environ for macOS Sphinx #4370: Pull request #3324 opened by barracuda156
June 21, 2024 08:52 1m 59s barracuda156:environ
barracuda156:environ
June 21, 2024 08:52 1m 59s
[ cleanup ] remove unused code left by previous change Sphinx #4369: Commit 1a3df3f pushed by mjustus
June 19, 2024 21:21 36s main
main
June 19, 2024 21:21 36s
[ cleanup ] remove unused code left in #3108 Sphinx #4368: Pull request #3323 opened by dunhamsteve
June 19, 2024 21:15 30s dunhamsteve:cleanup-callgraph
dunhamsteve:cleanup-callgraph
June 19, 2024 21:15 30s