Repository navigation

Push email notification

fix(lean4): remove dead `contradiction` in nonempty_path_ne_parent #18

Sign in to view logs

Triggered via push July 1, 2026 14:12

claude/valence-shell-151-root-a2a1kv

Status Skipped

Total duration 8s

Artifacts –

push-email-notify.yml

on: push