Skip to content
GitHub macOS CI

Explain record mutation syntax in ltac2 doc #2413

Sign in to view logs

Explain record mutation syntax in ltac2 doc

Explain record mutation syntax in ltac2 doc #2413

Triggered via push October 16, 2023 10:50
@SkySkimmerSkySkimmer
pushed 8c9ccc5
ltac2-doc-ctacset
Status Success
Total duration 40m 32s
Artifacts –

ci-macos.yml

on: push
macOS
40m 19s
macOS
Fit to window
Zoom out
Zoom in