Docker CI

Trivially align int_mod #75

Sign in to view logs

Triggered via push February 13, 2025 09:42

TheoWinterhalter

div

Status Failure

Total duration 9m 16s

Artifacts –

main.yml

on: push

Matrix: build

Annotations

1 error

build (coqorg/coq:8.19): With_N.v#L978

The reference PreOmega.Z.divide_alt was not found in the current