Skip to content
CI (updated dependencies)

CI (updated dependencies) #967

Sign in to view logs

CI (updated dependencies)

CI (updated dependencies) #967

Triggered via schedule August 2, 2023 08:03
@tchajedtchajed
⁠ 382b7f0
master
Status Success
Total duration 1h 9m 30s
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 9m
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.