Skip to content

Actions: CodingCellist/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.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) Lint the sources #277: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 14s main
main
June 17, 2024 13:07 14s
Update typedd.rst Lint the sources #276: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 14s main
main
June 17, 2024 10:43 14s
[ test ] Add issue#1988 to the test suite Lint the sources #275: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 15s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 15s
Merge pull request #3187 from nukisman/patch-5 Lint the sources #274: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 12s main
main
January 5, 2024 13:56 12s
[ doc:let ] Attempt to clarify w vs w/o type ann Lint the sources #273: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 15s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 15s
[ doc ] Apply suggestions from gallais Lint the sources #272: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 12s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 12s
merge w/ upstream main Lint the sources #271: Commit c6743f8 pushed by mattpolzin
January 2, 2024 03:34 12s let-doc-refactor
let-doc-refactor
January 2, 2024 03:34 12s
[ admin ] Update checklist for v0.7.0-rc2 Lint the sources #270: Commit 2778007 pushed by CodingCellist
December 22, 2023 14:57 17s main
main
December 22, 2023 14:57 17s
[ admin ] Update checklist for v0.7.0-rc2 Lint the sources #269: Commit 92c5662 pushed by CodingCellist
December 22, 2023 13:44 12s post-0.6.0
post-0.6.0
December 22, 2023 13:44 12s
[ rc ] 0.7.0-rc2 Lint the sources #268: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 16s v0.7.0
v0.7.0
December 22, 2023 12:23 16s
[ rc ] 0.7.0-rc2 Lint the sources #267: Commit 22c6ec6 pushed by CodingCellist
December 22, 2023 12:23 16s post-0.6.0
post-0.6.0
December 22, 2023 12:23 16s
[ rc ] 0.7.0-rc1 Lint the sources #266: Commit a99d177 pushed by CodingCellist
December 21, 2023 15:24 13s post-0.6.0
post-0.6.0
December 21, 2023 15:24 13s
Merge remote-tracking branch 'origin/post-0.6.0' into post-0.6.0 Lint the sources #265: Commit 1108c0d pushed by CodingCellist
December 21, 2023 10:51 15s post-0.6.0
post-0.6.0
December 21, 2023 10:51 15s
[ doc:let ] Syntax errs, let reducing, sep stmts Lint the sources #264: Commit 6cd58ed pushed by CodingCellist
December 21, 2023 10:42 14s let-doc-refactor
let-doc-refactor
December 21, 2023 10:42 14s
Merge remote-tracking branch 'upstream/main' into post-0.6.0 Lint the sources #263: Commit c22eaaf pushed by mattpolzin
December 12, 2023 15:02 17s post-0.6.0
post-0.6.0
December 12, 2023 15:02 17s
[ doc ] Fix misunderstanding about plain := vs = Lint the sources #262: Commit 18eadae pushed by CodingCellist
December 7, 2023 13:40 12s let-doc-refactor
let-doc-refactor
December 7, 2023 13:40 12s
[ doc ] Improve let and := docs Lint the sources #261: Commit 409fff8 pushed by CodingCellist
December 7, 2023 12:41 13s let-doc-refactor
let-doc-refactor
December 7, 2023 12:41 13s
[ rc ] 0.6.9 - update pkg017 Lint the sources #260: Commit 635405f pushed by CodingCellist
November 30, 2023 14:06 16s post-0.6.0
post-0.6.0
November 30, 2023 14:06 16s
bugfix: change order of pattern-matching to avoid dead-code bug Lint the sources #259: Commit 319fa65 pushed by CodingCellist
November 30, 2023 13:30 17s main
main
November 30, 2023 13:30 17s
[ rc ] v0.6.9 fix chez bootstrap shebang Lint the sources #258: Commit 1ca70df pushed by CodingCellist
November 30, 2023 13:00 15s post-0.6.0
post-0.6.0
November 30, 2023 13:00 15s
[ release ] v0.6.9 update checklist Lint the sources #257: Commit 4d2a184 pushed by CodingCellist
November 30, 2023 12:56 11s post-0.6.0
post-0.6.0
November 30, 2023 12:56 11s
[ rc ] For v0.6.9 - to see if the process was right Lint the sources #256: Commit 7b3873e pushed by CodingCellist
November 30, 2023 12:52 16s post-0.6.0
post-0.6.0
November 30, 2023 12:52 16s
[ bug:racket ] Repro the issue with epsilon.0 Lint the sources #255: Commit 416e109 pushed by CodingCellist
November 3, 2023 08:36 13s racket-epsilon-bug
racket-epsilon-bug
November 3, 2023 08:36 13s
[ base ] "Fix" flonum const issue with racket Lint the sources #254: Commit 19531fd pushed by CodingCellist
November 2, 2023 17:14 15s ieee-fl-consts
ieee-fl-consts
November 2, 2023 17:14 15s
[ doc ] Headings for envvars based on use-time Lint the sources #253: Commit db87cef pushed by CodingCellist
November 1, 2023 10:05 16s main
main
November 1, 2023 10:05 16s