Skip to content
Auto-update

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

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 #613

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

auto-update.yml

on: push
Auto-update
2s
Auto-update
Fit to window
Zoom out
Zoom in