Skip to content
Build

Merge branch 'master' of https://github.com/gradual-verification/gvc0 #228

Sign in to view logs

Merge branch 'master' of https://github.com/gradual-verification/gvc0

Merge branch 'master' of https://github.com/gradual-verification/gvc0 #228

Triggered via push November 13, 2023 15:40
@jennalwisejennalwise
pushed 5424215
master
Status Success
Total duration 7m 39s
Artifacts –

build.yml

on: push
build
7m 30s
build
Fit to window
Zoom out
Zoom in