Instant Sync

docs(readme): note echo types + decidability in the mechanised-proofs… #69

Sign in to view logs

Triggered via push June 6, 2026 17:36

main

Status Success

Total duration 8s

Artifacts –

instant-sync.yml

on: push

Annotations

1 notice

Propagation triggered for tangle