Merge pull request #33 from imdea-software/fix3 · imdea-software/htt@ab2d6c5

Triggered via push December 19, 2024 16:11

clayrat

master

Status Success

Total duration 6m 21s

Artifacts –

docker-action.yml

on: push

Matrix: build

13 warnings

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

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

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

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

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

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

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

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

HB: no new instance is generated

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

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