Skip to content

Actions: stefan-hoeck/idris2-sop

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

[ style ] adhere to style guide (#32)
Lint #111: Commit 050dc40 pushed by stefan-hoeck
August 23, 2023 07:44 2m 2s main
August 23, 2023 07:44 2m 2s
[ style ] adhere to style guide (#32)
Build #489: Commit 050dc40 pushed by stefan-hoeck
August 23, 2023 07:44 59s main
August 23, 2023 07:44 59s
[ style ] adhere to style guide
Build #488: Pull request #32 opened by stefan-hoeck
August 23, 2023 07:38 1m 1s style
August 23, 2023 07:38 1m 1s
[ style ] adhere to style guide
Lint #110: Pull request #32 opened by stefan-hoeck
August 23, 2023 07:38 1m 44s style
August 23, 2023 07:38 1m 44s
[ style ] adhere to style guide
Build #487: Commit 5682e95 pushed by stefan-hoeck
August 23, 2023 07:38 1m 5s style
August 23, 2023 07:38 1m 5s
[ style ] adhere to style guide
Lint #109: Commit 5682e95 pushed by stefan-hoeck
August 23, 2023 07:38 2m 13s style
August 23, 2023 07:38 2m 13s