(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

(168) * Error 168 at lib/everparse/3d/EverParse3d.Actions.Base.fst(3448,0-3448,0): - Syntax error

(353) * Error 353: - Failed to load plugin file /home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs - Reason: error loading shared library: Failure("/home/runner/work/karamel/karamel/everparse/opt/pulse/out/lib/pulse/pulse.cmxs: undefined symbol: camlFstarcompiler__FStarC_Parser_LexFStar.token_3159") - Remove the `--load` option or use `--warn_error -353` to ignore and continue.

Process completed with exit code 2.

Diff failed for files /home/runner/work/karamel/karamel/karamel/test/pulse/_output/Example_Hashtable.c and /home/runner/work/karamel/karamel/karamel/test/pulse/Example_Hashtable.expected.c: --- Example_Hashtable.expected.c 2026-10-07 01:26:09.024910078 +0000 +++ _output/Example_Hashtable.c 2026-10-07 01:26:42.690809340 +0000 @@ -203,24 +203,6 @@ ); } -static ht_t__size_t_Example_Hashtable_data -fst__Pulse_Lib_HashTable_Type_ht_t_size_t_Example_Hashtable_data_FStar_Pervasives_Native_option_size_t( - __Pulse_Lib_HashTable_Type_ht_t__size_t_Example_Hashtable_data_FStar_Pervasives_Native_option__size_t - x -) -{ - return x.fst; -} - -static option__size_t -snd__Pulse_Lib_HashTable_Type_ht_t_size_t_Example_Hashtable_data_FStar_Pervasives_Native_option_size_t( - __Pulse_Lib_HashTable_Type_ht_t__size_t_Example_Hashtable_data_FStar_Pervasives_Native_option__size_t - x -) -{ - return x.snd; -} - static cell__size_t_Example_Hashtable_data mk_used_cell__size_t_Example_Hashtable_data(size_t k, Example_Hashtable_data v) { @@ -292,11 +274,8 @@ ht1 = { .sz = ht.sz, .hashf = hashf, .contents = vcontents }; __Pulse_Lib_HashTable_Type_ht_t__size_t_Example_Hashtable_data_FStar_Pervasives_Native_option__size_t res = lookup__size_t_Example_Hashtable_data(ht1, k); - contents = - fst__Pulse_Lib_HashTable_Type_ht_t_size_t_Example_Hashtable_data_FStar_Pervasives_Native_option_size_t(res).contents; - option__size_t - o = - snd__Pulse_Lib_HashTable_Type_ht_t_size_t_Example_Hashtable_data_FStar_Pervasives_Native_option_size_t(res); + contents = res.fst.contents; + option__size_t o = res.snd; if (o.tag == Some) { size_t p = o.v;

Process completed with exit code 1.

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: cachix/cachix-action@v15. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/save@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/setup-node@v4, actions/upload-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

(288) * Warning 288 at FStar.Krml.Endianness.fst(58,34-58,41): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(58,11-58,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(57,56-57,63): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(57,4-57,28): - FStar.Krml.Endianness.lemma_euclidean_division is deprecated - FStar.Endianness.lemma_euclidean_division - See also FStar.Krml.Endianness.fst(36,4-36,28)

(288) * Warning 288 at FStar.Krml.Endianness.fst(56,11-56,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(55,11-55,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(47,8-47,32): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(45,13-45,20): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(45,13-45,20): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(328) * Warning 328 at Spec.Loops.fst(47,8-47,19): - Global binding 'Spec.Loops.repeat_base' is recursive but not used in its body

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.nondet.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.nondet.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.nondet.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.nondet.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(274) * Warning 274: - Implicitly opening namespace 'cbor.pulse.api.det.' shadows module 'c' in file "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst". - Rename "/home/runner/work/karamel/karamel/karamel/out/lib/krml/C.fst" to avoid conflicts.

(288) * Warning 288 at FStar.Krml.Endianness.fst(58,34-58,41): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(58,11-58,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(57,56-57,63): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(57,4-57,28): - FStar.Krml.Endianness.lemma_euclidean_division is deprecated - FStar.Endianness.lemma_euclidean_division - See also FStar.Krml.Endianness.fst(36,4-36,28)

(288) * Warning 288 at FStar.Krml.Endianness.fst(56,11-56,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(55,11-55,18): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(47,8-47,32): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(45,13-45,20): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(288) * Warning 288 at FStar.Krml.Endianness.fst(45,13-45,20): - FStar.Krml.Endianness.le_to_n is deprecated - FStar.Endianness.le_to_n - See also FStar.Krml.Endianness.fst(21,8-21,15)

(328) * Warning 328 at Spec.Loops.fst(47,8-47,19): - Global binding 'Spec.Loops.repeat_base' is recursive but not used in its body

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/setup-node@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

(288) * Warning 288 at Assoc.fst(14,5-14,7): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(14,11-14,13): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(11,10-11,12): - FStar.Int32.op_Minus_Hat is deprecated - use ( - ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(185,63-185,65)

(288) * Warning 288 at Assoc.fst(11,4-11,6): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(11,10-11,12): - FStar.Int32.op_Minus_Hat is deprecated - use ( - ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(185,63-185,65)

(288) * Warning 288 at Assoc.fst(11,4-11,6): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(8,10-8,12): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(8,4-8,6): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(8,10-8,12): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

(288) * Warning 288 at Assoc.fst(8,4-8,6): - FStar.Int32.op_Plus_Hat is deprecated - use ( + ) - See also /home/runner/work/karamel/karamel/_opam/lib/fstar/ulib/FStar.Int32.fsti(184,63-184,65)

Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.

Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.

Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.

Due to capacity constraints, jobs targeting macOS arm64 runners may experience longer queue times.

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"