Skip to content
Github CI

Handle focusing braces in rocqtop ReST directive #1151

Sign in to view logs

Handle focusing braces in rocqtop ReST directive

Handle focusing braces in rocqtop ReST directive #1151

Triggered via pull request August 17, 2025 17:24
@dhalilovdhalilov
opened #21014
epfl-systemf:dhalilov/fix-focusing-brace-rocqtop-directive
Status Success
Total duration 29m 44s
Artifacts –

ci-github.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 notices
macOS
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Windows
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677