Skip to content
Install & test

Update CHANGELOG.md #5236

Sign in to view logs

Update CHANGELOG.md

Update CHANGELOG.md #5236

Triggered via pull request September 16, 2025 12:57
@maximebuysemaximebuyse
synchronize #1691
add-pr-number-changelog
Status Success
Total duration 22m 20s
Artifacts –

install_and_test.yml

on: pull_request
nix-action
22m 16s
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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/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.k5R80l/tmp.sXrwsbCKtL/FStar.Math.Lemmas.fsti.checked