Dependabot Automerge

Add some lemmas relating the different semantics #201

Sign in to view logs

Triggered via pull request January 31, 2025 04:51

OwenConoly

synchronize #445

OwenConoly:master

Status Skipped

Total duration 1s

Artifacts –

dependabot-automerge.yml

on: pull_request

dependabot-automerge