Skip to content
CI (updated dependencies)

CI (updated dependencies) #947

Sign in to view logs

CI (updated dependencies)

CI (updated dependencies) #947

Triggered via schedule July 13, 2023 08:03
@tchajedtchajed
⁠ 630bddb
master
Status Success
Total duration 1h 23m 12s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

upstream.yml

on: schedule
update dependencies (dev)
1h 23m
update dependencies (dev)
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
update dependencies (dev): external/stdpp/stdpp/options.v#L13
Syntax "Export Set" is deprecated, use the attribute syntax
update dependencies (dev): external/stdpp/stdpp/options.v#L19
Syntax "Export Set" is deprecated, use the attribute syntax
update dependencies (dev): external/iris/iris/prelude/options.v#L13
Syntax "Export Set" is deprecated, use the attribute syntax
update dependencies (dev): external/iris/iris/prelude/options.v#L17
Syntax "Export Set" is deprecated, use the attribute syntax
update dependencies (dev): external/iris/iris/prelude/options.v#L17
Could not enable unknown warning deprecated-hint-without-locality
update dependencies (dev): external/coqutil/src/coqutil/Word/Properties.v#L61
width_nonneg_context is declared opaque (Qed) but this is not fully
update dependencies (dev): external/coqutil/src/coqutil/Word/Properties.v#L228
width_nonzero is declared opaque (Qed) but this is not fully
update dependencies (dev): external/coqutil/src/coqutil/Word/Properties.v#L232
twice_halfm is declared opaque (Qed) but this is not fully respected
update dependencies (dev): external/coqutil/src/coqutil/Datatypes/List.v#L1843
Notation Nat.add_mod_idemp_l is deprecated since 8.17.
update dependencies (dev): external/coqutil/src/coqutil/Datatypes/List.v#L1843
Notation Nat.add_mod_idemp_l is deprecated since 8.17.