Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
908 workflow run results
908 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #3253 from dunhamsteve/issue3251 Sphinx #4228: Commit 84ce3a6 pushed by andrevidela
April 27, 2024 23:17 46s main
main
April 27, 2024 23:17 46s
Merge pull request #3269 from dunhamsteve/fix-macos-build Sphinx #4227: Commit 3489cc3 pushed by andrevidela
April 27, 2024 23:16 50s main
main
April 27, 2024 23:16 50s
[ fix ] fix macos ci Sphinx #4226: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 22:32 30s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 22:32 30s
[ fix ] fix macos ci Sphinx #4225: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 21:52 28s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 21:52 28s
[ fix ] fix macos ci Sphinx #4224: Pull request #3269 synchronize by dunhamsteve
April 27, 2024 21:43 26s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 21:43 26s
[ parser ] Add support for impossible lambdas Sphinx #4223: Pull request #3270 opened by dunhamsteve
April 27, 2024 20:08 33s dunhamsteve:impossible-lam
dunhamsteve:impossible-lam
April 27, 2024 20:08 33s
[ fix ] fix macos ci Sphinx #4222: Pull request #3269 opened by dunhamsteve
April 27, 2024 19:59 28s dunhamsteve:fix-macos-build
dunhamsteve:fix-macos-build
April 27, 2024 19:59 28s
[RefC] Object Immortalization and Pre-Generation of Constants Sphinx #4220: Pull request #3242 synchronize by seagull-kamome
April 23, 2024 21:50 33s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
April 23, 2024 21:50 33s
Merge pull request #3267 from stefan-hoeck/fin0 Sphinx #4219: Commit 2298f88 pushed by andrevidela
April 22, 2024 15:50 41s main
main
April 22, 2024 15:50 41s
Doc: module naming constraints (#3256) Sphinx #4218: Commit ae3a43f pushed by gallais
April 22, 2024 14:43 39s main
main
April 22, 2024 14:43 39s
[ fix ] issue 3266 Sphinx #4217: Pull request #3267 opened by stefan-hoeck
April 22, 2024 13:45 30s stefan-hoeck:fin0
stefan-hoeck:fin0
April 22, 2024 13:45 30s
Merge pull request #3265 from andrevidela/fix-fixity-warning Sphinx #4216: Commit 517b283 pushed by andrevidela
April 21, 2024 23:34 29s main
main
April 21, 2024 23:34 29s
fix error message for unexported fixities Sphinx #4215: Pull request #3265 opened by andrevidela
April 21, 2024 22:28 39s andrevidela:fix-fixity-warning
andrevidela:fix-fixity-warning
April 21, 2024 22:28 39s
Doc: module naming constraints Sphinx #4214: Pull request #3256 synchronize by foxyseta
April 19, 2024 18:12 31s patch-2
patch-2
April 19, 2024 18:12 31s
[ base ] Data.SortedSet.leftMost and .rightMost Sphinx #4213: Pull request #3260 opened by MithicSpirit
April 17, 2024 16:04 37s MithicSpirit:sortedset-minimum
MithicSpirit:sortedset-minimum
April 17, 2024 16:04 37s
[RefC] Suppress arglist wrapper (#3177) Sphinx #4212: Commit 1dc7b74 pushed by gallais
April 17, 2024 14:48 33s main
main
April 17, 2024 14:48 33s
Doc: module naming constraints Sphinx #4211: Pull request #3256 synchronize by foxyseta
April 17, 2024 10:43 42s patch-2
patch-2
April 17, 2024 10:43 42s
Doc: module naming constraints Sphinx #4210: Pull request #3256 synchronize by foxyseta
April 17, 2024 01:21 31s patch-2
patch-2
April 17, 2024 01:21 31s
Doc: module naming constraints Sphinx #4209: Pull request #3256 synchronize by foxyseta
April 17, 2024 01:19 34s patch-2
patch-2
April 17, 2024 01:19 34s
[ fix ] Fix search around %defaulthints Sphinx #4208: Pull request #3258 synchronize by buzden
April 15, 2024 18:02 44s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 18:02 44s
[ fix ] Fix search around %defaulthints Sphinx #4207: Pull request #3258 synchronize by buzden
April 15, 2024 18:00 31s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 18:00 31s
[ fix ] Fix search around %defaulthints Sphinx #4206: Pull request #3258 opened by buzden
April 15, 2024 17:58 33s buzden:fix-search-in-defaulthints
buzden:fix-search-in-defaulthints
April 15, 2024 17:58 33s
fixed bugs that caused compiler to hang forever when there is %tcinline pragma Sphinx #4205: Pull request #3257 opened by AntonPing
April 15, 2024 13:21 38s AntonPing:main
AntonPing:main
April 15, 2024 13:21 38s
Doc: module naming constraints Sphinx #4204: Pull request #3256 opened by foxyseta
April 14, 2024 09:09 34s patch-2
patch-2
April 14, 2024 09:09 34s
Merge pull request #3255 from foxyseta/patch-1 Sphinx #4203: Commit 4799d28 pushed by andrevidela
April 12, 2024 23:12 30s main
main
April 12, 2024 23:12 30s