Skip to content

ci(lean,#14337): migrate lean-conway.yml target-coverage to coursia-lean pool (tranche 2) - #15831

Closed
jsboige wants to merge 1 commit into
mainfrom
feature/14337-lean-conway-pool
Closed

ci(lean,#14337): migrate lean-conway.yml target-coverage to coursia-lean pool (tranche 2)#15831
jsboige wants to merge 1 commit into
mainfrom
feature/14337-lean-conway-pool

ci(lean,#14337): migrate lean-conway.yml target-coverage to coursia-l…

e201be4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar