Skip to content

Run make lint and other simple jobs in GitHub Actions #12

Run make lint and other simple jobs in GitHub Actions

Run make lint and other simple jobs in GitHub Actions #12

Triggered via pull request October 3, 2023 20:59
Status Success
Total duration 3m 37s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in