Skip to content

Actions: stefan-hoeck/idris2-comonad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ compat ] add export modifier to operator decls (#6) Build #134: Commit 154292a pushed by stefan-hoeck
April 5, 2024 03:36 29s main
main
April 5, 2024 03:36 29s
[ 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 Build #133: Pull request #6 synchronize by stefan-hoeck
April 5, 2024 03:34 29s export_infix
export_infix
April 5, 2024 03:34 29s
[ 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 Build #132: Commit 968aa19 pushed by stefan-hoeck
April 5, 2024 03:34 35s export_infix
export_infix
April 5, 2024 03:34 35s
[ 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 Build #131: Pull request #6 opened by stefan-hoeck
April 5, 2024 03:33 34s export_infix
export_infix
April 5, 2024 03:33 34s
[ compat ] add export modifier to operator decls Build #130: Commit f36f4a6 pushed by stefan-hoeck
April 5, 2024 03:33 38s export_infix
export_infix
April 5, 2024 03:33 38s
[ 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