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

[ refactor ] export signal to code conversions Sphinx #4487: Pull request #3373 synchronize by stefan-hoeck
August 18, 2024 07:33 27s stefan-hoeck:sig_code
stefan-hoeck:sig_code
August 18, 2024 07:33 27s
[ refactor ] export signal to code conversions Sphinx #4486: Pull request #3373 opened by stefan-hoeck
August 18, 2024 07:27 26s stefan-hoeck:sig_code
stefan-hoeck:sig_code
August 18, 2024 07:27 26s
[ performance ] Implement weak memoisation of lazy values for chez an… Sphinx #4470: Commit 2482ebb pushed by gallais
August 6, 2024 14:25 47s main
main
August 6, 2024 14:25 47s
[ fix ] Make searching in pairs to not cause ambiguity when there isn… Sphinx #4469: Commit ff7c0fa pushed by gallais
August 6, 2024 14:19 33s main
main
August 6, 2024 14:19 33s
[ fix ] Make searching in pairs to not cause ambiguity when there isn't Sphinx #4468: Pull request #3366 opened by buzden
August 6, 2024 11:01 29s buzden:search-in-pairs-only-when-needed
buzden:search-in-pairs-only-when-needed
August 6, 2024 11:01 29s
Merge pull request #3353 from Matthew-Mosior/clean-does-not-remove-ge… Sphinx #4467: Commit d9049e8 pushed by andrevidela
August 5, 2024 23:33 51s main
main
August 5, 2024 23:33 51s
Clean removes generated docs Sphinx #4466: Pull request #3353 synchronize by Matthew-Mosior
August 5, 2024 01:43 34s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
August 5, 2024 01:43 34s
[ fix ] Report chez failures Sphinx #4465: Commit 4d46c18 pushed by gallais
August 2, 2024 19:05 33s main
main
August 2, 2024 19:05 33s
[ fix ] Report chez failures Sphinx #4464: Pull request #3363 opened by dunhamsteve
August 2, 2024 04:03 33s dunhamsteve:chez-error
dunhamsteve:chez-error
August 2, 2024 04:03 33s
Clean removes generated docs Sphinx #4463: Pull request #3353 synchronize by Matthew-Mosior
August 1, 2024 13:45 30s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
August 1, 2024 13:45 30s
Merge pull request #3361 from Matthew-Mosior/issue-2766-hint-not-list… Sphinx #4462: Commit b1fff6f pushed by andrevidela
July 31, 2024 15:26 33s main
main
July 31, 2024 15:26 33s
%hint not listed as a pragma Sphinx #4461: Pull request #3361 synchronize by Matthew-Mosior
July 31, 2024 13:24 1m 5s Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
July 31, 2024 13:24 1m 5s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #4460: Pull request #2791 synchronize by buzden
July 31, 2024 09:50 1m 3s buzden:memo-lazy
buzden:memo-lazy
July 31, 2024 09:50 1m 3s
Merge pull request #3360 from Matthew-Mosior/issue-3232-init-doesnt-c… Sphinx #4459: Commit 72241a4 pushed by andrevidela
July 31, 2024 08:16 53s main
main
July 31, 2024 08:16 53s
idris2 --init doesnt check the name of a package Sphinx #4458: Pull request #3360 synchronize by Matthew-Mosior
July 29, 2024 14:32 33s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 29, 2024 14:32 33s
[ new ] totality checking can look under constructors Sphinx #4457: Pull request #3362 opened by dunhamsteve
July 28, 2024 03:48 33s dunhamsteve:totality2
dunhamsteve:totality2
July 28, 2024 03:48 33s
Clean removes generated docs Sphinx #4456: Pull request #3353 synchronize by Matthew-Mosior
July 27, 2024 22:35 31s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 27, 2024 22:35 31s
Clean removes generated docs Sphinx #4455: Pull request #3353 synchronize by Matthew-Mosior
July 27, 2024 22:33 33s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 27, 2024 22:33 33s
%hint not listed as a pragma Sphinx #4454: Pull request #3361 opened by Matthew-Mosior
July 26, 2024 21:44 31s Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
Matthew-Mosior:issue-2766-hint-not-listed-as-a-pragma
July 26, 2024 21:44 31s
idris2 --init doesnt check the name of a package Sphinx #4453: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 18:21 31s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 18:21 31s
idris2 --init doesnt check the name of a package Sphinx #4452: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 17:14 34s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:14 34s
idris2 --init doesnt check the name of a package Sphinx #4451: Pull request #3360 synchronize by Matthew-Mosior
July 26, 2024 17:11 46s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:11 46s
idris2 --init doesnt check the name of a package Sphinx #4450: Pull request #3360 opened by Matthew-Mosior
July 26, 2024 17:06 44s Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
Matthew-Mosior:issue-3232-init-doesnt-check-the-name-of-a-package
July 26, 2024 17:06 44s
Clean removes generated docs Sphinx #4449: Pull request #3353 synchronize by Matthew-Mosior
July 26, 2024 13:53 35s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 26, 2024 13:53 35s
[ test ] for the perf regression Sphinx #4448: Commit 3f76bfd pushed by gallais
July 26, 2024 13:45 29s main
main
July 26, 2024 13:45 29s