Skip to content
docker CI

Merge pull request #491 from proux01/ci-update #1323

Sign in to view logs

Merge pull request #491 from proux01/ci-update

Merge pull request #491 from proux01/ci-update #1323

Triggered via push December 16, 2024 12:47
@proux01proux01
pushed 47c19a6
master
Status Success
Total duration 5m 33s
Artifacts –

main.yml

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

Annotations

33 warnings
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
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.19): examples/demo1/hierarchy_1.v#L55
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_2.v#L39
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_3.v#L39
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_4.v#L40
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_4.v#L69
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_5.v#L39
HB: no new instance is generated
opam (8.19): examples/demo1/hierarchy_5.v#L68
HB: no new instance is generated
opam (8.19): examples/demo2/stage10.v#L4
Hiding binding of key Q to Q_scope
opam (8.19): examples/demo2/stage10.v#L112
HB: no new instance is generated
opam (8.19): examples/demo2/stage10.v#L233
The default and global localities for this command outside sections
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.18): examples/demo1/hierarchy_1.v#L55
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_2.v#L39
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_3.v#L39
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_4.v#L40
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_4.v#L69
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_5.v#L39
HB: no new instance is generated
opam (8.18): examples/demo1/hierarchy_5.v#L68
HB: no new instance is generated
opam (8.18): examples/demo2/stage10.v#L4
Hiding binding of key Q to Q_scope
opam (8.18): examples/demo2/stage10.v#L112
HB: no new instance is generated
opam (8.18): examples/demo2/stage10.v#L233
The default and global localities for this command outside sections