Skip to content

Actions: CodingCellist/Idris2

Actions

Sphinx

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-sphinx.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix #72 ] remove the broken modules (#3319) Sphinx #224: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 30s main
main
June 17, 2024 13:07 30s
Update typedd.rst Sphinx #223: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 47s main
main
June 17, 2024 10:43 47s
[ test ] Add issue#1988 to the test suite Sphinx #222: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 32s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 32s
Merge pull request #3187 from nukisman/patch-5 Sphinx #221: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 26s main
main
January 5, 2024 13:56 26s
[ doc:let ] Attempt to clarify w vs w/o type ann Sphinx #220: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 29s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 29s
[ doc ] Apply suggestions from gallais Sphinx #219: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 32s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 32s
merge w/ upstream main Sphinx #218: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 31s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 31s
[ admin ] Update checklist for v0.7.0-rc2 Sphinx #217: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 48s main
main
December 22, 2023 14:57 48s
[ admin ] Update checklist for v0.7.0-rc2 Sphinx #216: Commit 92c5662 pushed by CodingCellist
December 22, 2023 13:44 28s post-0.6.0
post-0.6.0
December 22, 2023 13:44 28s
[ rc ] 0.7.0-rc2 Sphinx #215: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 42s v0.7.0
v0.7.0
December 22, 2023 12:23 42s
[ rc ] 0.7.0-rc2 Sphinx #214: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 42s post-0.6.0
post-0.6.0
December 22, 2023 12:23 42s
[ rc ] 0.7.0-rc1 Sphinx #213: Commit a99d177 pushed by CodingCellist
December 21, 2023 15:24 33s post-0.6.0
post-0.6.0
December 21, 2023 15:24 33s
Merge remote-tracking branch 'origin/post-0.6.0' into post-0.6.0 Sphinx #212: Commit 1108c0d pushed by CodingCellist
December 21, 2023 10:51 35s post-0.6.0
post-0.6.0
December 21, 2023 10:51 35s
[ doc:let ] Syntax errs, let reducing, sep stmts Sphinx #211: Commit 6cd58ed pushed by CodingCellist
December 21, 2023 10:42 27s let-doc-refactor
let-doc-refactor
December 21, 2023 10:42 27s
Merge remote-tracking branch 'upstream/main' into post-0.6.0 Sphinx #210: Commit c22eaaf pushed by mattpolzin
December 12, 2023 15:02 34s post-0.6.0
post-0.6.0
December 12, 2023 15:02 34s
[ doc ] Fix misunderstanding about plain := vs = Sphinx #209: Commit 18eadae pushed by CodingCellist
December 7, 2023 13:40 33s let-doc-refactor
let-doc-refactor
December 7, 2023 13:40 33s
[ doc ] Improve let and := docs Sphinx #208: Commit 409fff8 pushed by CodingCellist
December 7, 2023 12:41 30s let-doc-refactor
let-doc-refactor
December 7, 2023 12:41 30s
[ rc ] 0.6.9 - update pkg017 Sphinx #207: Commit 635405f pushed by CodingCellist
November 30, 2023 14:06 29s post-0.6.0
post-0.6.0
November 30, 2023 14:06 29s
bugfix: change order of pattern-matching to avoid dead-code bug Sphinx #206: Commit 319fa65 pushed by CodingCellist
November 30, 2023 13:30 33s main
main
November 30, 2023 13:30 33s
[ rc ] v0.6.9 fix chez bootstrap shebang Sphinx #205: Commit 1ca70df pushed by CodingCellist
November 30, 2023 13:00 33s post-0.6.0
post-0.6.0
November 30, 2023 13:00 33s
[ release ] v0.6.9 update checklist Sphinx #204: Commit 4d2a184 pushed by CodingCellist
November 30, 2023 12:56 43s post-0.6.0
post-0.6.0
November 30, 2023 12:56 43s
[ rc ] For v0.6.9 - to see if the process was right Sphinx #203: Commit 7b3873e pushed by CodingCellist
November 30, 2023 12:52 36s post-0.6.0
post-0.6.0
November 30, 2023 12:52 36s
[ bug:racket ] Repro the issue with epsilon.0 Sphinx #202: Commit 416e109 pushed by CodingCellist
November 3, 2023 08:36 33s racket-epsilon-bug
racket-epsilon-bug
November 3, 2023 08:36 33s
[ base ] "Fix" flonum const issue with racket Sphinx #201: Commit 19531fd pushed by CodingCellist
November 2, 2023 17:14 32s ieee-fl-consts
ieee-fl-consts
November 2, 2023 17:14 32s
[ doc ] Headings for envvars based on use-time Sphinx #200: Commit db87cef pushed by CodingCellist
November 1, 2023 10:05 33s main
main
November 1, 2023 10:05 33s