Skip to content

Auto restart files with stale dependencies#776

Open
samuela wants to merge 1 commit into
leanprover:masterfrom
samuela:auto-restart-stale-dependencies
Open

Auto restart files with stale dependencies#776
samuela wants to merge 1 commit into
leanprover:masterfrom
samuela:auto-restart-stale-dependencies

Auto restart files with stale dependencies

9a2c993
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs