Skip to content

Remove bors in favour of GitHub merge queue #433

Remove bors in favour of GitHub merge queue

Remove bors in favour of GitHub merge queue #433

Triggered via push July 22, 2023 07:38
Status Success
Total duration 5m 49s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: push
Matrix: test
lint
32s
lint
Check if man page has been regenerated
21s
Check if man page has been regenerated
allgreen
2s
allgreen
Fit to window
Zoom out
Zoom in

Annotations

1 warning
lint
Restore cache failed: Dependencies file is not found in /home/runner/work/fakemachine/fakemachine. Supported file pattern: go.sum