Skip to content

Actions: idris-lang/Idris2

Actions

Lint Code Base

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
1,158 workflow runs
1,158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ refactor ] ScopedSnocList: WIP Lint Code Base #6416: Pull request #3368 synchronize by GulinSS
October 3, 2024 13:53 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 3, 2024 13:53 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6415: Pull request #3368 synchronize by GulinSS
October 3, 2024 08:22 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 3, 2024 08:22 Action required
add test file Lint Code Base #6414: Commit ea9433a pushed by andrevidela
October 2, 2024 21:55 1m 47s autobind-application
autobind-application
October 2, 2024 21:55 1m 47s
[ refactor ] ScopedSnocList: WIP Lint Code Base #6413: Pull request #3368 synchronize by GulinSS
October 2, 2024 15:32 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 2, 2024 15:32 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6412: Pull request #3368 synchronize by GulinSS
October 1, 2024 19:49 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 19:49 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6411: Pull request #3368 synchronize by GulinSS
October 1, 2024 18:55 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 18:55 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6410: Pull request #3368 synchronize by GulinSS
October 1, 2024 16:42 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 16:42 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6409: Pull request #3368 synchronize by GulinSS
October 1, 2024 16:41 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
October 1, 2024 16:41 Action required
[ refactor ] Add a nix overlay (#3394) Lint Code Base #6408: Commit 536c7bf pushed by mattpolzin
October 1, 2024 12:51 1m 50s main
main
October 1, 2024 12:51 1m 50s
[ refactor ] Add a nix overlay Lint Code Base #6407: Pull request #3394 synchronize by mitchmindtree
September 30, 2024 09:59 1m 54s mitchmindtree:overlay
mitchmindtree:overlay
September 30, 2024 09:59 1m 54s
[ refactor ] Add a nix overlay Lint Code Base #6405: Pull request #3394 opened by mitchmindtree
September 29, 2024 01:17 Action required mitchmindtree:overlay
mitchmindtree:overlay
September 29, 2024 01:17 Action required
[RefC] Object Immortalization and Pre-Generation of Constants Lint Code Base #6404: Pull request #3242 synchronize by seagull-kamome
September 28, 2024 16:32 1m 49s seagull-kamome:refc-sticky-value
seagull-kamome:refc-sticky-value
September 28, 2024 16:32 1m 49s
fix: help menu for refine command Lint Code Base #6403: Pull request #3393 synchronize by Jyang772
September 27, 2024 22:13 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 22:13 Action required
fix: help menu for refine command Lint Code Base #6402: Pull request #3393 synchronize by Jyang772
September 27, 2024 21:47 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:47 Action required
fix: help menu for refine command Lint Code Base #6401: Pull request #3393 opened by Jyang772
September 27, 2024 21:20 Action required Jyang772:fix-help-menu-for-refine
Jyang772:fix-help-menu-for-refine
September 27, 2024 21:20 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6400: Pull request #3368 synchronize by GulinSS
September 27, 2024 10:29 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 27, 2024 10:29 Action required
Handle multiline comments in Package (ipkg) (#3386) Lint Code Base #6399: Commit 0e83d6c pushed by mattpolzin
September 24, 2024 15:26 3m 38s main
main
September 24, 2024 15:26 3m 38s
[ base ] Deprecate toList functions for sorted sets and maps Lint Code Base #6398: Pull request #3392 synchronize by buzden
September 23, 2024 16:37 1m 53s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 16:37 1m 53s
[ base ] Deprecate toList functions for sorted sets and maps Lint Code Base #6397: Pull request #3392 synchronize by buzden
September 23, 2024 15:56 1m 48s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 15:56 1m 48s
[ base ] Deprecate toList functions for sorted sets and maps Lint Code Base #6396: Pull request #3392 opened by buzden
September 23, 2024 15:55 1m 57s buzden:tokvlist-for-maps
buzden:tokvlist-for-maps
September 23, 2024 15:55 1m 57s
[ refactor ] ScopedSnocList: WIP Lint Code Base #6395: Pull request #3368 synchronize by GulinSS
September 23, 2024 09:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 23, 2024 09:21 Action required
[ refactor ] ScopedSnocList: WIP Lint Code Base #6394: Pull request #3368 synchronize by GulinSS
September 23, 2024 09:21 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 23, 2024 09:21 Action required
Handle multiline comments in Package (ipkg) Lint Code Base #6393: Pull request #3386 synchronize by stephen-smith
September 22, 2024 14:53 1m 45s stephen-smith:ipkg-multiline-comments
stephen-smith:ipkg-multiline-comments
September 22, 2024 14:53 1m 45s
[ doc ] Update gambit docs (#3388) Lint Code Base #6392: Commit f3dca12 pushed by mattpolzin
September 22, 2024 06:20 1m 42s main
main
September 22, 2024 06:20 1m 42s
[ refactor ] ScopedSnocList: WIP Lint Code Base #6391: Pull request #3368 synchronize by GulinSS
September 19, 2024 13:54 Action required GulinSS:scoped_snoc_list
GulinSS:scoped_snoc_list
September 19, 2024 13:54 Action required