Merge branch 'master' into typed-verification #43

Sign in to view logs

Triggered via push May 29, 2024 09:23

quackzar

typed-verification

Status Failure

Total duration 1m 45s

Artifacts –

ci.yml

on: push

Annotations

1 error and 10 warnings

Process completed with exit code 1.

cargo fmt: src/lib.rs#L1

Diff in /home/runner/work/caring/caring/src/lib.rs

cargo fmt: src/lib.rs#L11

Diff in /home/runner/work/caring/caring/src/lib.rs

cargo fmt: src/marker/exptree.rs#L1

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L23

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L34

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L53

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L63

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L70

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L79

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs

cargo fmt: src/marker/exptree.rs#L86

Diff in /home/runner/work/caring/caring/src/marker/exptree.rs