Errors: Introducing '--message_format github', for github actions #104
Annotations
11 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.Pervasives.fsti#L1218
(345) - Inserted an unsafe type coercion in generated code from unit -> 'a -> 'a to unit -> 'a -> 'b; this may be unsound in F#
- See also /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti(1218,55-1218,56)
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteSet.Base.fst#L137
(344) - Parameter 0 of subset is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteSet.Base.fst#L144
(344) - Parameter 0 of equal is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteSet.Base.fst#L151
(344) - Parameter 0 of disjoint is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.Pervasives.fsti#L55
(344) - Expected parameter 'state of witnessed to be unused in its definition and eliminated
- See also /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti(55,0-55,56)
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteMap.Base.fst#L83
(344) - Parameter 0 of values is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteMap.Base.fst#L90
(344) - Parameter 0 of items is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteMap.Base.fst#L138
(344) - Parameter 0 of equal is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.FiniteMap.Base.fst#L145
(344) - Parameter 0 of disjoint is unused and must be eliminated for F#; add `[@@ remove_unused_type_parameters [0; ...]]` to the interface signature;
This type definition is being dropped
|
|
Check for a stage 3 diff and F# library build:
dummy#L1
(345) - Inserted an unsafe type coercion in generated code from some_ref -> (obj, obj) mreference to some_ref -> (unit, unit) mreference; this may be unsound in F#
|
Loading