Skip to content

Actions: idris-lang/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 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
Update INSTALL.md Sphinx #3407: Pull request #2708 synchronize by gallais
July 31, 2023 07:42 33s buggymcbugfix:patch-1
buggymcbugfix:patch-1
July 31, 2023 07:42 33s
feat: even and odd for Nat and Integral (#3021) Sphinx #3406: Commit c7abb14 pushed by gallais
July 31, 2023 07:36 34s main
main
July 31, 2023 07:36 34s
feat: even and odd for Nat and Integral Sphinx #3405: Pull request #3021 synchronize by gallais
July 31, 2023 07:36 40s scarf005:even-odd
scarf005:even-odd
July 31, 2023 07:36 40s
[ new ] Fixity access modifier (#3011) Sphinx #3404: Commit 1fa6384 pushed by gallais
July 31, 2023 07:35 35s main
main
July 31, 2023 07:35 35s
Fixity access modifier Sphinx #3403: Pull request #3011 synchronize by gallais
July 31, 2023 07:35 34s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 31, 2023 07:35 34s
[ fix ] Only set IDRIS2_PREFIX if it is unset (fixes Issue 3022) (#… Sphinx #3402: Commit 51403ab pushed by gallais
July 31, 2023 07:18 35s main
main
July 31, 2023 07:18 35s
Add fromTTImp, fromName, and fromDecls for custom TTImp, Name, and De… Sphinx #3401: Commit cbbe761 pushed by gallais
July 31, 2023 07:17 36s main
main
July 31, 2023 07:17 36s
Remove decideLTE (#3031) Sphinx #3400: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 37s main
main
July 27, 2023 07:04 37s
[ fix ] Don't include type of binder for let in addRefs Sphinx #3399: Pull request #3032 opened by dunhamsteve
July 27, 2023 03:34 40s dunhamsteve:issue-3030
dunhamsteve:issue-3030
July 27, 2023 03:34 40s
Remove decideLTE Sphinx #3398: Pull request #3031 synchronize by Saransh-cpp
July 27, 2023 01:18 47s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 27, 2023 01:18 47s
Remove decideLTE Sphinx #3397: Pull request #3031 opened by Saransh-cpp
July 26, 2023 21:43 43s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 26, 2023 21:43 43s
Fixity access modifier Sphinx #3396: Pull request #3011 synchronize by andrevidela
July 26, 2023 11:36 33s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 26, 2023 11:36 33s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3395: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:26 41s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:26 41s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3394: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:24 45s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:24 45s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3393: Pull request #3027 synchronize by dunhamsteve
July 24, 2023 14:18 44s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 24, 2023 14:18 44s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3392: Pull request #2791 synchronize by buzden
July 24, 2023 08:08 44s buzden:memo-lazy
buzden:memo-lazy
July 24, 2023 08:08 44s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3390: Pull request #3027 opened by dunhamsteve
July 23, 2023 03:22 35s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 23, 2023 03:22 35s
Remove shadowed names in documentation Sphinx #3389: Commit 870bc82 pushed by gallais
July 21, 2023 14:38 34s main
main
July 21, 2023 14:38 34s
Remove shadowed names in documentation Sphinx #3388: Pull request #3026 opened by wilkomanger
July 21, 2023 11:59 41s wilkomanger:shadowed-names
wilkomanger:shadowed-names
July 21, 2023 11:59 41s
[ fix ] Only set IDRIS2_PREFIX if it is unset (fixes Issue 3022) Sphinx #3387: Pull request #3024 opened by CodingCellist
July 20, 2023 16:07 42s CodingCellist:issue-3022
CodingCellist:issue-3022
July 20, 2023 16:07 42s
Merge pull request #3019 from andrevidela/contributing-updates Sphinx #3386: Commit 23694c7 pushed by andrevidela
July 18, 2023 16:35 41s main
main
July 18, 2023 16:35 41s
[ docs ] Update contributing guidelines Sphinx #3385: Pull request #3019 synchronize by andrevidela
July 18, 2023 16:27 34s andrevidela:contributing-updates
andrevidela:contributing-updates
July 18, 2023 16:27 34s
ProTip! You can narrow down the results and go further in time using created:<2023-07-18 or the other filters available.