Fix CI workflow #72
Merged
Fix CI workflow #72
Annotations
10 warnings
|
Build
In the use of type constructor or class ‘Parameter’
|
|
Build
In the use of type constructor or class ‘Parameter’
|
|
Build
In the use of ‘converted’ (imported from CodeWorld.Parameter):
|
|
Build
In the use of type constructor or class ‘Parameter’
|
|
Build
In the use of type constructor or class ‘Parameter’
|
|
Build
In the use of ‘parametricDrawingOf’
|
|
Build
In the use of type constructor or class ‘Parameter’
|
|
Build
Module ‘CodeWorld.Parameter’:
|
|
Build
Module ‘CodeWorld.Parameter’:
|
|
Build
Rule "equality/bool" may never fire because ‘==’ might inline first
|
Loading