Allow use_hints even when context_pruning is set #212
Annotations
10 warnings
|
Check for a stage 3 diff and F# library build:
FStar/ulib/FStar.Pervasives.fsti#L1224
(345) * Warning 345 at /__w/FStar/FStar/FStar/ulib/FStar.Pervasives.fsti(1224,66-1224,67):
- 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(1224,55-1224,56)
|
|
Check for a stage 3 diff and F# library build:
ulib/FStar.FiniteSet.Base.fst#L137
(344) * Warning 344 at ulib/FStar.FiniteSet.Base.fst(137,4-137,10):
- 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:
ulib/FStar.FiniteSet.Base.fst#L144
(344) * Warning 344 at ulib/FStar.FiniteSet.Base.fst(144,4-144,9):
- 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:
ulib/FStar.FiniteSet.Base.fst#L151
(344) * Warning 344 at ulib/FStar.FiniteSet.Base.fst(151,4-151,12):
- 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:
ulib/FStar.FiniteMap.Base.fst#L83
(344) * Warning 344 at ulib/FStar.FiniteMap.Base.fst(83,4-83,10):
- 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:
ulib/FStar.FiniteMap.Base.fst#L90
(344) * Warning 344 at ulib/FStar.FiniteMap.Base.fst(90,4-90,9):
- 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:
ulib/FStar.FiniteMap.Base.fst#L138
(344) * Warning 344 at ulib/FStar.FiniteMap.Base.fst(138,4-138,9):
- 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:
ulib/FStar.FiniteMap.Base.fst#L145
(344) * Warning 344 at ulib/FStar.FiniteMap.Base.fst(145,4-145,12):
- 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:
ulib/FStar.Pervasives.fsti#L55
(344) * Warning 344 at /__w/FStar/FStar/FStar/ulib/FStar.Monotonic.Witnessed.fsti(34,4-34,33):
- Expected parameter 'state of witnessed to be unused in its definition and eliminated
- See also ulib/FStar.Pervasives.fsti(55,0-55,56)
|
|
Check for a stage 3 diff and F# library build:
dummy#L1
(345) * Warning 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#.
|
Set up job
3s
3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Initialize containers
54s
54s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Cleanup
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run echo "HOME=/home/user" >> $GITHUB_ENV
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run mtzguido/set-opam-env@master
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run mtzguido/gci-download@master
21s
21s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check for a stage 3 diff and F# library build
4m 55s
4m 55s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Stop containers
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading