Skip to content
Auto-update

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

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

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

auto-update.yml

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