Skip to content

Actions: stefan-hoeck/idris2-prim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #31 from stefan-hoeck/export_infix Lint #148: Commit a875bbe pushed by stefan-hoeck
April 5, 2024 04:18 1m 14s main
main
April 5, 2024 04:18 1m 14s
Merge pull request #31 from stefan-hoeck/export_infix Build #384: Commit a875bbe pushed by stefan-hoeck
April 5, 2024 04:18 1m 25s main
main
April 5, 2024 04:18 1m 25s
[ compat ] add export modifier to operator decls Lint #147: Pull request #31 opened by stefan-hoeck
April 5, 2024 04:05 1m 37s export_infix
export_infix
April 5, 2024 04:05 1m 37s
[ compat ] add export modifier to operator decls Build #383: Pull request #31 opened by stefan-hoeck
April 5, 2024 04:05 1m 31s export_infix
export_infix
April 5, 2024 04:05 1m 31s
[ compat ] add export modifier to operator decls Lint #146: Commit c661532 pushed by stefan-hoeck
April 5, 2024 04:04 1m 22s export_infix
export_infix
April 5, 2024 04:04 1m 22s
[ compat ] add export modifier to operator decls Build #382: Commit c661532 pushed by stefan-hoeck
April 5, 2024 04:04 1m 30s export_infix
export_infix
April 5, 2024 04:04 1m 30s