.github/workflows/repo-sync.yml

ci: Add job to sync main with upstream lean4-nix #1

Sign in to view logs

Re-run triggered March 4, 2025 18:31

ci-sync

Status Success

Total duration 20s

Artifacts –

repo-sync.yml

on: push

Sync upstream changes