Skip to content
Windows CI

Merge pull request #26659 from tmarti2/release-frama-c-29-metacsl-0.7 #2

Sign in to view logs

Merge pull request #26659 from tmarti2/release-frama-c-29-metacsl-0.7

Merge pull request #26659 from tmarti2/release-frama-c-29-metacsl-0.7 #2

Triggered via push October 4, 2024 17:08
@opam-release-botopam-release-bot
pushed ee4414a
master
Status Success
Total duration 10m 7s
Artifacts –

windows.yml

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