Skip to content
deploy

Merge pull request #80 from smlhelp/coinduction #9

Sign in to view logs

Merge pull request #80 from smlhelp/coinduction

Merge pull request #80 from smlhelp/coinduction #9

Triggered via push July 19, 2023 16:19
@kevinazhou150kevinazhou150
pushed d2daa21
master
Status Success
Total duration 1m 58s
Artifacts –

deploy.yaml

on: push
deploy
1m 48s
deploy
Fit to window
Zoom out
Zoom in