Bump rewriter from 5e74224 to 5d274d2
#3821
Triggered via pull request
November 7, 2023 17:47
dependabot[bot]
Status
Cancelled
Total duration
4m 13s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
1 error
|
build-windows
Canceling since a higher priority waiting request for 'CI (Coq, Windows)-dependabot/submodules/rewriter-5d274d2' exists
|