Skip to content

Actions: stefan-hoeck/idris2-webidl

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 (#34)
Build #318: Commit 388f7e7 pushed by stefan-hoeck
August 23, 2023 09:05 3m 1s main
August 23, 2023 09:05 3m 1s
[ style ] adhere to style guide (#34)
Lint #89: Commit 388f7e7 pushed by stefan-hoeck
August 23, 2023 09:05 1m 34s main
August 23, 2023 09:05 1m 34s
[ style ] adhere to style guide
Lint #88: Pull request #34 opened by stefan-hoeck
August 23, 2023 08:33 1m 50s style
August 23, 2023 08:33 1m 50s
[ style ] adhere to style guide
Build #317: Pull request #34 opened by stefan-hoeck
August 23, 2023 08:33 2m 50s style
August 23, 2023 08:33 2m 50s
[ style ] adhere to style guide
Build #316: Commit 742492d pushed by stefan-hoeck
August 23, 2023 08:33 2m 56s style
August 23, 2023 08:33 2m 56s
[ style ] adhere to style guide
Lint #87: Commit 742492d pushed by stefan-hoeck
August 23, 2023 08:33 1m 37s style
August 23, 2023 08:33 1m 37s