Skip to content
Formatting

[Certora] Dev #1130

Sign in to view logs

[Certora] Dev

[Certora] Dev #1130

Triggered via pull request November 21, 2023 15:43
@QGarcheryQGarchery
synchronize #136
certora/dev
Status Cancelled
Total duration 29s
Artifacts –

formatting.yml

on: pull_request
lint
15s
lint
Fit to window
Zoom out
Zoom in

Annotations

2 errors
lint
Canceling since a higher priority waiting request for 'Formatting-refs/pull/136/merge-pull_request' exists
lint
The operation was canceled.