Skip to content
Dependabot Auto-Merge

Echo-types as a type-system feature + decidability + let (proof work) #24

Sign in to view logs

Echo-types as a type-system feature + decidability + let (proof work)

Echo-types as a type-system feature + decidability + let (proof work) #24

Triggered via pull request June 3, 2026 17:52
@hyperpolymathhyperpolymath
opened #34
claude/hopeful-fermi-iXnba
Status Skipped
Total duration 2s
Artifacts –

dependabot-automerge.yml

on: pull_request
automerge
automerge
Fit to window
Zoom out
Zoom in