Skip to content
docker CI

Merge pull request #497 from VojtechStep/feature/breaking-add-section… #1333

Sign in to view logs

Merge pull request #497 from VojtechStep/feature/breaking-add-section…

Merge pull request #497 from VojtechStep/feature/breaking-add-section… #1333

Triggered via push January 15, 2025 17:03
@garesgares
pushed 3ffdfd3
master
Status Failure
Total duration 4m 31s
Artifacts –

main.yml

on: push
Matrix: opam
release
0s
release
Fit to window
Zoom out
Zoom in

Annotations

13 warnings
opam (8.19)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
opam (8.18)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
opam (8.20)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
opam (8.20): examples/demo1/hierarchy_1.v#L55
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_2.v#L39
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_3.v#L39
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_4.v#L40
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_4.v#L69
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_5.v#L39
HB: no new instance is generated
opam (8.20): examples/demo1/hierarchy_5.v#L68
HB: no new instance is generated
opam (8.20): examples/demo2/classical.v#L422
Notations "_ ^~ _" defined at level 10 with arguments constr
opam (8.20): examples/demo2/classical.v#L625
Postfix notations (i.e. starting with a nonterminal symbol and
opam (8.20): examples/demo2/classical.v#L626
Postfix notations (i.e. starting with a nonterminal symbol and