chore(deps): bump rexml from 3.3.9 to 3.4.2 in /docs · dafny-lang/dafny@3eb44e5

Re-run triggered October 21, 2025 22:15

robin-aws

#6365

Status Failure

Total duration 21m 25s

Artifacts 9

msbuild.yml

on: pull_request

Matrix: integration-tests / test

Matrix: xunit-tests / build

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size	Digest
unit-test-results-macos-13	4.15 MB	`sha256:2694e4a48da8b8129c1a8c1c1c720e9240074a7bacafe019e7a023aa9f90f9fb`