Skip to content

Actions: stefan-hoeck/idris2-sop

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ style ] adhere to style guide (#32) Build #489: Commit 050dc40 pushed by stefan-hoeck
August 23, 2023 07:44 59s main
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
style
August 23, 2023 07:38 1m 1s
[ style ] adhere to style guide Build #487: Commit 5682e95 pushed by stefan-hoeck
August 23, 2023 07:38 1m 5s style
style
August 23, 2023 07:38 1m 5s