Publish CBMC documentation

Enable IPO / LTO and -O3 #5312

Sign in to view logs

Summary
Jobs
- publish
Run details
- Usage
- Workflow file

Triggered via pull request November 17, 2024 18:09

rurban

synchronize #8146

rurban:lto

Status Success

Total duration 7m 4s

Artifacts –

publish.yaml

on: pull_request