Skip to content

Actions: CodingCellist/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

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