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 ] Fix search around %defaulthints (#3258) Sphinx #4367: Commit 2994e23 pushed by edwinb
June 18, 2024 14:39 35s main
main
June 18, 2024 14:39 35s
[RefC] Object Immortalization and Pre-Generation of Constants Sphinx #4366: Pull request #3242 synchronize by seagull-kamome
June 18, 2024 11:58 33s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
June 18, 2024 11:58 33s
Merge pull request #3306 from dunhamsteve/implicitParam Sphinx #4365: Commit ddb691b pushed by andrevidela
June 17, 2024 19:03 33s main
main
June 17, 2024 19:03 33s
[ fix ] implicits are not in scope under an implicit parameter block Sphinx #4364: Pull request #3306 synchronize by dunhamsteve
June 17, 2024 17:38 36s dunhamsteve:implicitParam
dunhamsteve:implicitParam
June 17, 2024 17:38 36s
[ re #3314, #34 ] Tighten the location information for implicits Sphinx #4363: Commit 0c03002 pushed by gallais
June 17, 2024 15:32 30s main
main
June 17, 2024 15:32 30s
Add JSON manipulation functions Sphinx #4362: Pull request #3321 synchronize by madman-bob
June 17, 2024 15:30 33s madman-bob:json
madman-bob:json
June 17, 2024 15:30 33s
Add fromTTImp, fromName, and fromDecls Sphinx #4361: Pull request #3322 opened by madman-bob
June 17, 2024 14:59 31s madman-bob:from-ttimp
madman-bob:from-ttimp
June 17, 2024 14:59 31s
Add JSON manipulation functions Sphinx #4360: Pull request #3321 opened by madman-bob
June 17, 2024 14:46 35s madman-bob:json
madman-bob:json
June 17, 2024 14:46 35s
[ re #3314, #34 ] Tighten the location information for implicits Sphinx #4359: Pull request #3320 opened by gallais
June 17, 2024 14:35 28s gallais:bound-implicit-origin
gallais:bound-implicit-origin
June 17, 2024 14:35 28s
Merge pull request #3315 from andrevidela/fix-3302 Sphinx #4358: Commit d6b8ab9 pushed by andrevidela
June 17, 2024 13:11 30s main
main
June 17, 2024 13:11 30s
[ fix #72 ] remove the broken modules (#3319) Sphinx #4357: Commit 3f985bc pushed by gallais
June 17, 2024 12:45 32s main
main
June 17, 2024 12:45 32s
Merge pull request #3314 from dunhamsteve/issue-3313 Sphinx #4356: Commit 02e5468 pushed by andrevidela
June 17, 2024 11:56 32s main
main
June 17, 2024 11:56 32s
Emit error when unbound fixity is hidden Sphinx #4355: Pull request #3315 synchronize by andrevidela
June 17, 2024 11:39 31s andrevidela:fix-3302
andrevidela:fix-3302
June 17, 2024 11:39 31s
List packages improvements (#3318) Sphinx #4354: Commit e9dfc1c pushed by gallais
June 17, 2024 10:50 31s main
main
June 17, 2024 10:50 31s
Update typedd.rst Sphinx #4353: Commit ecd6d47 pushed by gallais
June 17, 2024 10:47 44s main
main
June 17, 2024 10:47 44s
[ fix #72 ] remove the broken modules Sphinx #4352: Pull request #3319 synchronize by CodingCellist
June 17, 2024 10:22 35s issue72
issue72
June 17, 2024 10:22 35s
[ lint ] Move Algebra changes to existing header Sphinx #4351: Commit abcc098 pushed by CodingCellist
June 17, 2024 10:22 37s issue72
issue72
June 17, 2024 10:22 37s
[ fix #72 ] remove the broken modules Sphinx #4350: Pull request #3319 synchronize by CodingCellist
June 17, 2024 10:16 34s issue72
issue72
June 17, 2024 10:16 34s
[ fix #72 ] Record changes in CHANGELOG_NEXT Sphinx #4349: Commit 85474d4 pushed by CodingCellist
June 17, 2024 10:16 33s issue72
issue72
June 17, 2024 10:16 33s
[ fix #72 ] remove the broken modules Sphinx #4348: Pull request #3319 opened by gallais
June 17, 2024 08:50 34s issue72
issue72
June 17, 2024 08:50 34s
[ fix #72 ] remove the broken modules Sphinx #4347: Commit a2bbf6c pushed by gallais
June 17, 2024 08:50 30s issue72
issue72
June 17, 2024 08:50 30s
List packages improvements Sphinx #4346: Pull request #3318 opened by mattpolzin
June 17, 2024 04:59 41s mattpolzin:list-packages-improvements
mattpolzin:list-packages-improvements
June 17, 2024 04:59 41s
Update typedd.rst Sphinx #4345: Pull request #3316 opened by m-rinaldi
June 16, 2024 15:19 51s m-rinaldi:patch-3
m-rinaldi:patch-3
June 16, 2024 15:19 51s
Emit error when unbound fixity is hidden Sphinx #4344: Pull request #3315 synchronize by andrevidela
June 16, 2024 15:10 49s andrevidela:fix-3302
andrevidela:fix-3302
June 16, 2024 15:10 49s
Emit error when unbound fixity is hidden Sphinx #4343: Pull request #3315 opened by andrevidela
June 16, 2024 15:08 30s andrevidela:fix-3302
andrevidela:fix-3302
June 16, 2024 15:08 30s