Skip to content

Actions: stefan-hoeck/idris2-comonad

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ compat ] add export modifier to operator decls (#6) Lint #30: Commit 154292a pushed by stefan-hoeck
April 5, 2024 03:36 1m 24s main
main
April 5, 2024 03:36 1m 24s
[ compat ] add export modifier to operator decls Lint #29: Pull request #6 synchronize by stefan-hoeck
April 5, 2024 03:34 1m 18s export_infix
export_infix
April 5, 2024 03:34 1m 18s
[ compat ] add export modifier to operator decls Lint #28: Commit 968aa19 pushed by stefan-hoeck
April 5, 2024 03:34 1m 21s export_infix
export_infix
April 5, 2024 03:34 1m 21s
[ compat ] add export modifier to operator decls Lint #27: Pull request #6 opened by stefan-hoeck
April 5, 2024 03:33 1m 23s export_infix
export_infix
April 5, 2024 03:33 1m 23s
[ compat ] add export modifier to operator decls Lint #26: Commit f36f4a6 pushed by stefan-hoeck
April 5, 2024 03:33 1m 21s export_infix
export_infix
April 5, 2024 03:33 1m 21s