Skip to content
Linter

Merge pull request #60 from jdreffein/ignore_pools #45

Sign in to view logs

Merge pull request #60 from jdreffein/ignore_pools

Merge pull request #60 from jdreffein/ignore_pools #45

Triggered via push June 30, 2024 10:18
@nbuchwitznbuchwitz
pushed 322ab4a
main
Status Success
Total duration 23s
Artifacts –

lint.yml

on: push
build
15s
build
Fit to window
Zoom out
Zoom in