Ensure type decls are types
#149
mtzguidoci.yml
on: pull_request
build
/
build
6m 12s
nix
/
fstar-nix
5m 56s
stale-hints
/
check_stale_hints
9s
Matrix: tests / binary-smoke
Waiting for pending jobs
Matrix: tests / ocaml-smoke
Waiting for pending jobs
tests
/
check-stage3
tests
/
perf-canaries
tests
/
test-local
ciok
0s
Annotations
3 errors and 6 warnings
|
nix / fstar-nix
Process completed with exit code 1.
|
|
build / build:
FStar/ulib/FStar.Stubs.Reflection.Types.fsti#L37
(309) * Error 309 at /__w/FStar/FStar/FStar/ulib/FStar.Stubs.Reflection.Types.fsti(37,5-37,9):
- `type` declarations must define types.
|
|
build / build
Process completed with exit code 2.
|
|
stale-hints / check_stale_hints
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
nix / fstar-nix
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build / build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
build / build:
FStar/ulib/FStar.UInt.fsti#L435
(271) * Warning 271 at /__w/FStar/FStar/FStar/ulib/FStar.UInt.fsti(435,8-435,51):
- Pattern uses these theory symbols or terms that should not be in an SMT
pattern:
Prims.op_Subtraction
|
|
build / build:
FStar/ulib/FStar.UInt.fsti#L435
(271) * Warning 271 at /__w/FStar/FStar/FStar/ulib/FStar.UInt.fst(293,8-293,25):
- Pattern uses these theory symbols or terms that should not be in an SMT
pattern:
Prims.op_Subtraction
- See also /__w/FStar/FStar/FStar/ulib/FStar.UInt.fsti(435,8-435,51)
|
|
build / build:
FStar/ulib/FStar.UInt.fsti#L435
(271) * Warning 271 at /__w/FStar/FStar/FStar/ulib/FStar.UInt.fsti(435,8-435,51):
- Pattern uses these theory symbols or terms that should not be in an SMT
pattern:
Prims.op_Subtraction
|