Skip to content
docker CI

warning if HB.instance does nothing #1297

Sign in to view logs

warning if HB.instance does nothing

warning if HB.instance does nothing #1297

Triggered via pull request December 12, 2024 16:42
@CohenCyrilCohenCyril
synchronize #482
fix-instance-nop-error
Status Success
Total duration 14m 36s
Artifacts –

main.yml

on: pull_request
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