Repository navigation

Instant Sync

ci+hooks: auto-bootstrap Lean for web sessions + consolidate CI onto … #68

Sign in to view logs

Triggered via push June 5, 2026 12:23

main

Status Success

Total duration 7s

Artifacts –

instant-sync.yml

on: push

Annotations

1 notice

Propagation triggered for tangle