Remove pointless ignore #23

Sign in to view logs

Summary
Jobs
- ci
Run details
- Usage
- Workflow file

Triggered via pull request August 31, 2023 13:59

timostamm

opened #3

tstamm/remove-useless-ignore

Status Success

Total duration 49s

Artifacts –

ci.yaml

on: pull_request