Docker CI

Fix lcm alignment #98

Sign in to view logs

Triggered via push February 18, 2025 17:33

TheoWinterhalter

fix-lcm

Status Failure

Total duration 10m 14s

Artifacts –

main.yml

on: push

Matrix: build

Annotations

3 warnings

build (dev): With_N.v#L5

"From Coq" has been replaced by "From Stdlib".

build (dev): With_N.v#L86

"From Coq" has been replaced by "From Stdlib".

build (dev): With_N.v#L105

"From Coq" has been replaced by "From Stdlib".