Skip to content

fix: don't build Lean files twice - #28

Open
fpvandoorn wants to merge 2 commits into
PatrickMassot:masterfrom
fpvandoorn:build_dev
Open

fix: don't build Lean files twice#28
fpvandoorn wants to merge 2 commits into
PatrickMassot:masterfrom
fpvandoorn:build_dev

Merge remote-tracking branch 'origin/master' into build_dev

918e1d0
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs