Repository navigation

Dependabot Auto-Merge

fix(tg-0): Tangle.lean compiles cleanly + wire CI build oracle #23

Sign in to view logs

Triggered via pull request June 1, 2026 13:58

opened #33

chore/tg-0-lean-build-oracle

Status Skipped

Total duration 1s

Artifacts –

dependabot-automerge.yml

on: pull_request