Skip to content
Coq

fix: bump mac-os build image #8

Sign in to view logs

fix: bump mac-os build image

fix: bump mac-os build image #8

Triggered via push January 30, 2025 18:34
@MrWoo034MrWoo034
pushed 4843da6
master
Status Success
Total duration 44s
Artifacts –

coq.yml

on: push
build
36s
build
Fit to window
Zoom out
Zoom in