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

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
Add fromTTImp, fromName, and fromDecls Sphinx #4447: Commit 40f3987 pushed by gallais
July 26, 2024 13:24 29s main
main
July 26, 2024 13:24 29s
Revert "[ new ] totality checking can look under constructors (#3328)" Sphinx #4446: Pull request #3359 synchronize by gallais
July 26, 2024 12:58 52s gallais:revert-totality-modulo
gallais:revert-totality-modulo
July 26, 2024 12:58 52s
Revert "[ new ] totality checking can look under constructors (#3328)" Sphinx #4445: Pull request #3359 opened by gallais
July 26, 2024 12:27 31s gallais:revert-totality-modulo
gallais:revert-totality-modulo
July 26, 2024 12:27 31s
[ linear ] typo in the docstring Sphinx #4444: Commit fdcd4d9 pushed by gallais
July 26, 2024 12:25 47s main
main
July 26, 2024 12:25 47s
[ linear ] typo in the docstring Sphinx #4443: Pull request #3358 opened by gallais
July 26, 2024 12:25 34s gallais:typo
gallais:typo
July 26, 2024 12:25 34s
Dictionary syntax Sphinx #4442: Pull request #3356 opened by andrevidela
July 26, 2024 12:13 57s andrevidela:dictionary-syntax
andrevidela:dictionary-syntax
July 26, 2024 12:13 57s
Clean removes generated docs Sphinx #4441: Pull request #3353 synchronize by Matthew-Mosior
July 25, 2024 21:58 29s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 25, 2024 21:58 29s
Clean removes generated docs Sphinx #4440: Pull request #3353 opened by Matthew-Mosior
July 25, 2024 18:19 34s Matthew-Mosior:clean-does-not-remove-generated-docs
Matthew-Mosior:clean-does-not-remove-generated-docs
July 25, 2024 18:19 34s
Show module docstring for namespace indexes (#3351) Sphinx #4439: Commit 91d0eb3 pushed by gallais
July 25, 2024 12:18 34s main
main
July 25, 2024 12:18 34s