Skip to content
Windows CI

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

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 #1660

Triggered via push October 4, 2024 07:56
@mserimseri
pushed ee4414a
master
Status Success
Total duration 57s
Artifacts –

windows.yml

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