Skip to content
docker CI

preparing changelog for 1.8.0 (#490) #1321

Sign in to view logs

preparing changelog for 1.8.0 (#490)

preparing changelog for 1.8.0 (#490) #1321

Triggered via push December 13, 2024 23:42
@CohenCyrilCohenCyril
pushed e038e77
v1.8.0
Status Success
Total duration 31m 2s
Artifacts –

main.yml

on: push
Matrix: opam
release
23m 14s
release
Fit to window
Zoom out
Zoom in

Annotations

34 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
release
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636