PR

manual: fix missing rename to Microkit #50

Sign in to view logs

Triggered via pull request October 10, 2023 04:29

Ivan-Velickovic

opened #73

minor_manual_fix

Status Failure

Total duration 43s

Artifacts –

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

pr.yml

on: pull_request

Trailing Whitespace

Annotations

1 error

Action gitlint failed.