Skip to content

Actions: andrevidela/Idris2

Lint Code Base

Actions

Loading...
Loading

Create status badge

Loading
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move common arguments into its own parameter block
Lint Code Base #336: Commit 57702c0 pushed by andrevidela
January 21, 2025 13:27 1m 38s record-let
January 21, 2025 13:27 1m 38s
withFC ImpDecl
Lint Code Base #335: Commit 3b32e3d pushed by andrevidela
January 21, 2025 02:55 1m 44s record-let
January 21, 2025 02:55 1m 44s
update doc comments
Lint Code Base #334: Commit 104f40b pushed by andrevidela
January 19, 2025 10:37 1m 37s parser-refactor
January 19, 2025 10:37 1m 37s
deprecate old parameter-block syntax
Lint Code Base #333: Commit b01df44 pushed by andrevidela
January 15, 2025 13:59 1m 44s deprecate-old-parameters
January 15, 2025 13:59 1m 44s
deprecate old parameter-block syntax
Lint Code Base #332: Commit fbfaf4e pushed by andrevidela
January 15, 2025 12:21 1m 54s deprecate-old-parameters
January 15, 2025 12:21 1m 54s
deprecate old parameter-block syntax
Lint Code Base #331: Commit 95370c1 pushed by andrevidela
January 15, 2025 12:11 1m 39s deprecate-old-parameters
January 15, 2025 12:11 1m 39s
Make telescope constructors & functions binding operators
Lint Code Base #330: Commit f9fa62b pushed by andrevidela
January 15, 2025 01:32 1m 37s telescope-binding-operators
January 15, 2025 01:32 1m 37s
update doc comments
Lint Code Base #329: Commit e8f8aa5 pushed by andrevidela
January 7, 2025 18:13 1m 41s parser-refactor
January 7, 2025 18:13 1m 41s
only FC changes (#3460)
Lint Code Base #328: Commit 6cd4aa5 pushed by andrevidela
January 7, 2025 16:55 1m 39s parser-refactor-cherry
January 7, 2025 16:55 1m 39s
add box drawing characters
Lint Code Base #327: Commit 3159745 pushed by andrevidela
December 29, 2024 17:41 1m 37s fancy-symbols
December 29, 2024 17:41 1m 37s
Add between parser combinator (#3414)
Lint Code Base #326: Commit 8b2b2da pushed by andrevidela
December 24, 2024 13:07 1m 39s ci-test-collection
December 24, 2024 13:07 1m 39s
wip
Lint Code Base #325: Commit c76ec19 pushed by andrevidela
December 24, 2024 13:06 1m 39s let-in-records
December 24, 2024 13:06 1m 39s
update doc comments
Lint Code Base #324: Commit 7ce5749 pushed by andrevidela
December 21, 2024 01:48 1m 45s parser-refactor
December 21, 2024 01:48 1m 45s
move fc away from PDecl
Lint Code Base #323: Commit 195c6b6 pushed by andrevidela
December 21, 2024 01:39 1m 49s parser-refactor
December 21, 2024 01:39 1m 49s
move fc from PDecl
Lint Code Base #322: Commit badd3fb pushed by andrevidela
December 20, 2024 23:30 1m 39s parser-refactor
December 20, 2024 23:30 1m 39s
Carry names across semantic decorations
Lint Code Base #321: Commit 2171166 pushed by andrevidela
December 20, 2024 15:32 1m 43s parser-refactor
December 20, 2024 15:32 1m 43s
Carry names across semantic decorations
Lint Code Base #320: Commit 567a84f pushed by andrevidela
December 20, 2024 06:54 1m 42s parser-refactor
December 20, 2024 06:54 1m 42s
split up ideMode tests
Lint Code Base #319: Commit f014cba pushed by andrevidela
December 20, 2024 05:34 2m 2s parser-refactor
December 20, 2024 05:34 2m 2s
add test for #3417
Lint Code Base #318: Commit cf1295d pushed by andrevidela
December 20, 2024 03:34 1m 47s parser-refactor
December 20, 2024 03:34 1m 47s
plug remaining holes
Lint Code Base #317: Commit 2d7d0c8 pushed by andrevidela
December 20, 2024 03:06 1m 36s parser-refactor
December 20, 2024 03:06 1m 36s
plug remaining holes
Lint Code Base #316: Commit b9f0cef pushed by andrevidela
December 20, 2024 03:04 1m 35s parser-refactor
December 20, 2024 03:04 1m 35s
plug remaining holes
Lint Code Base #315: Commit bc0c8be pushed by andrevidela
December 20, 2024 02:54 1m 39s parser-refactor
December 20, 2024 02:54 1m 39s
plug remaining holes
Lint Code Base #314: Commit 41aedfc pushed by andrevidela
December 20, 2024 02:37 1m 39s parser-refactor
December 20, 2024 02:37 1m 39s
fix desugaring forall
Lint Code Base #313: Commit 46afd2f pushed by andrevidela
December 19, 2024 03:05 1m 41s parser-refactor
December 19, 2024 03:05 1m 41s
Add WithFC to sections
Lint Code Base #312: Commit 2fee574 pushed by andrevidela
December 19, 2024 02:49 1m 41s parser-refactor
December 19, 2024 02:49 1m 41s