Skip to content
build

update smtchecker and style-guide #103

Sign in to view logs

update smtchecker and style-guide

update smtchecker and style-guide #103

Triggered via push September 20, 2023 05:55
@minaminaominaminao
pushed 8267573
develop
Status Success
Total duration 1m 5s
Artifacts –

build.yml

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