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

[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3432: Commit 3ce8b9f pushed by gallais
August 6, 2023 08:51 37s main
main
August 6, 2023 08:51 37s
[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3431: Pull request #3040 synchronize by dunhamsteve
August 5, 2023 23:37 41s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:37 41s
[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3430: Pull request #3040 opened by dunhamsteve
August 5, 2023 23:25 37s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:25 37s
[ fix ] Fix pattern match issue with function application in Refl (#3… Sphinx #3429: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 29s main
main
August 4, 2023 12:46 29s
[ error ] Improve error messages for Delay &co Sphinx #3428: Commit f0f776c pushed by gallais
August 4, 2023 12:39 34s main
main
August 4, 2023 12:39 34s
[ error ] Improve error messages for Delay &co Sphinx #3427: Pull request #3037 reopened by gallais
August 4, 2023 12:39 39s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 39s
Erase additional PreorderReasoning arguments Sphinx #3426: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 39s main
main
August 4, 2023 12:37 39s
Erase additional PreorderReasoning arguments Sphinx #3425: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 38s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 38s
[ error ] Improve error messages for Delay &co Sphinx #3424: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 31s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 31s
[ fix ] fix scheme002 test on windows Sphinx #3423: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 36s main
main
August 3, 2023 22:16 36s
[ fix ] Fix error handling in windows getTermLines Sphinx #3422: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 32s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 32s
[ error ] Improve error messages for Delay &co Sphinx #3421: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 39s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 39s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3420: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 35s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 35s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3419: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 14:08 40s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 14:08 40s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3418: Pull request #3027 synchronize by dunhamsteve
August 1, 2023 13:43 40s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 1, 2023 13:43 40s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3417: Pull request #2021 synchronize by buzden
August 1, 2023 13:07 39s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 1, 2023 13:07 39s
[ docs ] Fix the formatting warning in the docs Sphinx #3416: Commit b7bda5e pushed by gallais
August 1, 2023 11:48 38s main
main
August 1, 2023 11:48 38s
[ docs ] Fix the formatting warning in the docs Sphinx #3415: Pull request #3035 opened by buzden
August 1, 2023 11:24 36s buzden:fix-doc-formatting-warning
buzden:fix-doc-formatting-warning
August 1, 2023 11:24 36s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3414: Pull request #2021 synchronize by buzden
August 1, 2023 10:55 40s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 1, 2023 10:55 40s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3413: Pull request #3034 synchronize by buzden
August 1, 2023 10:16 42s buzden:macro-without-extension
buzden:macro-without-extension
August 1, 2023 10:16 42s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3412: Pull request #3034 opened by buzden
August 1, 2023 10:13 41s buzden:macro-without-extension
buzden:macro-without-extension
August 1, 2023 10:13 41s
[ fix ] Fixes build broken by #3021 Sphinx #3411: Commit b481994 pushed by gallais
August 1, 2023 07:01 33s main
main
August 1, 2023 07:01 33s
[ fix ] Fixes build broken in #3021 Sphinx #3410: Pull request #3033 opened by dunhamsteve
August 1, 2023 00:35 39s dunhamsteve:fix-build
dunhamsteve:fix-build
August 1, 2023 00:35 39s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3409: Pull request #3027 synchronize by dunhamsteve
July 31, 2023 18:26 34s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 31, 2023 18:26 34s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3408: Pull request #3027 synchronize by gallais
July 31, 2023 10:42 38s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 31, 2023 10:42 38s
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.