Publish CBMC documentation

CI: use Visual Studio 2025 runners instead of 2019 #6058

Sign in to view logs

Summary
Jobs
- publish
Run details
- Usage
- Workflow file

Triggered via pull request June 17, 2025 14:57

tautschnig

opened #8660

tautschnig:use-vs-2025

Status Success

Total duration 3m 14s

Artifacts –

publish.yaml

on: pull_request