chore(deps): bump webrick from 1.8.1 to 1.8.2 in /docs · dafny-lang/dafny@65b94a7

Triggered via pull request September 24, 2024 23:44

opened #5792

Status Success

Total duration 2m 55s

Artifacts 1

refman.yml

on: pull_request

Matrix: build-refman

Produced during runtime

Name	Size	Digest
DafnyRef Expired	1.47 MB	`sha256:5d440e2d813a574a32df75290870cdc364a24f18a069bace30e690dd6720ca63`