Skip to content
Coverage

Pointing our README at RTD instead of the old mir-server.io #801

Sign in to view logs

Pointing our README at RTD instead of the old mir-server.io

Pointing our README at RTD instead of the old mir-server.io #801

Triggered via pull request October 27, 2023 20:34
@mattkaemattkae
opened #3108
bugfix/readme
Status Success
Total duration 42m 16s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

coverage.yml

on: pull_request
Run
20m 38s
Run
Fit to window
Zoom out
Zoom in