Run panlint

[maven-release-plugin] prepare for next development iteration #25

Sign in to view logs

Summary
Jobs
- panlint
Run details
- Usage
- Workflow file

Triggered via push October 6, 2023 17:31

jrha

master

Status Success

Total duration 18s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

panlint.yaml

on: push