Skip to content
deploy

Merge pull request #2783 from informalsystems/quint/1034/sum-types #1183

Sign in to view logs

Merge pull request #2783 from informalsystems/quint/1034/sum-types

Merge pull request #2783 from informalsystems/quint/1034/sum-types #1183

Triggered via push December 1, 2023 01:14
@shonfedershonfeder
pushed cb437eb
main
Status Success
Total duration 16s
Artifacts –

deploy.yml

on: push
deploy
6s
deploy
Fit to window
Zoom out
Zoom in