Skip to content
deploy

Merge pull request #2782 from informalsystems/2774/catch-nonnondet-oneOf #1180

Sign in to view logs

Merge pull request #2782 from informalsystems/2774/catch-nonnondet-oneOf

Merge pull request #2782 from informalsystems/2774/catch-nonnondet-oneOf #1180

Triggered via push November 24, 2023 18:00
@shonfedershonfeder
pushed b7cd23e
main
Status Success
Total duration 22s
Artifacts –

deploy.yml

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