Skip to content
Install & test

Merge pull request #1746 from cryspen/rengine-monadic-phase #5445

Sign in to view logs

Merge pull request #1746 from cryspen/rengine-monadic-phase

Merge pull request #1746 from cryspen/rengine-monadic-phase #5445

Triggered via push October 23, 2025 14:52
@github-merge-queuegithub-merge-queue[bot]
pushed 7437cd0
main
Status Success
Total duration 21m 39s
Artifacts –

install_and_test.yml

on: push
nix-action
21m 27s
nix-action
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Pervasives to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Pervasives.fst.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Pervasives.fst.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Pervasives.Native to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Pervasives.Native.fst.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Pervasives.Native.fst.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Pervasives to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Pervasives.fsti.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Pervasives.fsti.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.NormSteps to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.NormSteps.fst.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.NormSteps.fst.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.NormSteps to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.NormSteps.fsti.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.NormSteps.fsti.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Attributes to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Attributes.fsti.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Attributes.fsti.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Prelude to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Prelude.fsti.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Prelude.fsti.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module Prims to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/Prims.fst.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/Prims.fst.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Mul to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Mul.fst.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Mul.fst.checked
nix-action: dummy#L0
(321) * Warning 321: - Did not expect module FStar.Math.Lemmas to be already checked. - Found it in an unexpected location: /nix/store/3v6bvf6ia3y99m56zy84rhxvi95dydlm-ocaml4.14.1-fstar-71d8221589d4d438af3706d89cb653cf53e18aab/lib/fstar/ulib.checked/FStar.Math.Lemmas.fsti.checked instead of /tmp/nix-shell.7lty8B/tmp.cCEfhMUaB2/FStar.Math.Lemmas.fsti.checked