cimetrics-script

A script to run with GitHub actions to integrate CI Metrics.

See https://github.com/ci-metrics/example.