Build and Test Dafny Standard Libraries

chore(deps): bump rexml from 3.3.9 to 3.4.2 in /docs #5768

Sign in to view logs

Triggered via pull request October 21, 2025 21:49

robin-aws

synchronize #6365

dependabot/bundler/docs/rexml-3.4.2

Status Success

Total duration 38m 40s

Artifacts –

standard-libraries.yml

on: pull_request

check-deep-tests / check-deep-tests