Skip to content
GitHub Actions

Remove focus workaround #620

Sign in to view logs

Remove focus workaround

Remove focus workaround #620

Triggered via push July 21, 2023 11:52
@orestisflorestisfl
pushed 6fe98f7
next
Status Success
Total duration 5m 19s
Artifacts –

main.yml

on: push
Check formatting
9s
Check formatting
Matrix: build and test
Fit to window
Zoom out
Zoom in