lint

Merge pull request #6 from pulp-platform/michaero/synth_ci #21

Triggered via push August 12, 2024 14:04

micprog

main

Status Success

Total duration 1m 9s

Artifacts 1

lint.yml

on: push

Produced during runtime

Name	Size
verible-linter Expired	164 Bytes