Skip to content
CI

Bump actions/checkout from 3 to 4 #86

Sign in to view logs

Bump actions/checkout from 3 to 4

Bump actions/checkout from 3 to 4 #86

Triggered via push September 4, 2023 18:48
@dependabotdependabot[bot]
pushed dacc240
dependabot/github_actions/actions/checkout-4
Status Success
Total duration 4m 39s
Artifacts –

build.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build (dev, default): src/Coqprime/num/montgomery.v#L19
Notation "_ + _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L21
Notation "_ * _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L22
Notation "_ ?= _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L27
Notation "_ * _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L28
Notation "_ + _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L29
Notation "_ ?= _" is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L50
Reference size is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L52
Reference phi is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L62
Reference phi is deprecated since 8.10.
build (dev, default): src/Coqprime/num/montgomery.v#L71
Reference phi is deprecated since 8.10.