Skip to content

Actions: stefan-hoeck/idris2-webidl

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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