.github/workflows/ci.yml

Don't run `make format` in `make build` #1729

Sign in to view logs

Triggered via pull request February 3, 2025 16:55

Nadrieril

opened #431

Nadrieril:dont-format-on-build

Status Cancelled

Total duration 3m 15s

Artifacts –

ci.yml

on: pull_request

diff_lean_files

charon-pin-is-forward

charon-pin-is-merged

Annotations

2 errors

Canceling since a higher priority waiting request for '.github/workflows/ci.yml-431' exists

The operation was canceled.