Profiles › full › package: rfsm › 1.6-alpha-3

rfsm.1.6-alpha-3

Open rendered docs

History

Tick two or more build rows' checkboxes (Deps column), then for version differences.

TimeRunStatusCategoryUniverseBlessedHashDepsError
2026-11-07T22:39:26Z2026-11-07-212720successbuild—blessed73a99f527a79
11 deps
  • base-threads.base
  • base-unix.base
  • dune.3.24.2
  • lascar.0.6-alpha
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • ocaml-base-compiler.4.14.5
  • ocaml-config.2
  • ocaml.4.14.5
  • ocamlgraph.2.2.0
2026-11-06T13:00:51Z2026-11-06-091811successdocs12f33a66cdc6blessed6679f35d1bd3—
2026-11-05T21:45:53Z2026-11-05-172759successbuild—blessed0c39bc51164d
11 deps
  • base-threads.base
  • base-unix.base
  • dune.3.24.2
  • lascar.0.6-alpha
  • menhir.20211128
  • menhirLib.20211128
  • menhirSdk.20211128
  • ocaml-base-compiler.4.14.4
  • ocaml-config.2
  • ocaml.4.14.4
  • ocamlgraph.2.2.0
2026-10-30T04:41:09Z2026-10-29-233731successdocs12f33a66cdc6blessedc9fd93b5785a—
2026-10-29T04:37:38Z2026-10-29-013439successbuild—blessed3ab1d4f4aada—
2026-10-27T21:50:17Z2026-10-27-171126successdocs12f33a66cdc6blessed7aaf1d5aeacf—
2026-10-27T12:41:50Z2026-10-27-105258successdocs12f33a66cdc6blessed502dc7f03e79—
2026-10-26T23:16:31Z2026-10-26-214724successdocs12f33a66cdc6blessed9cd9cdf2318c—
2026-10-25T17:41:02Z2026-10-25-114903successdocs12f33a66cdc6blessed11f1ba7e1ff1—
2026-10-25T01:37:10Z2026-10-24-223844successdocs12f33a66cdc6blessed944a05490160—
2026-10-24T18:54:23Z2026-10-24-152942successdocs12f33a66cdc6blessed69797de2e2ce—
2026-10-24T11:53:22Z2026-10-24-092246successdocs12f33a66cdc6blessed56251baeee02—
2026-10-24T07:41:55Z2026-10-24-002606successdocs12f33a66cdc6blessedf10638dd32cb—
2026-10-22T11:20:43Z2026-10-22-023526successdocs12f33a66cdc6blessed3d8b484d7cc9—
2026-10-21T20:37:20Z2026-10-21-192926successbuild—blessedb75a65fe217c—
2026-10-16T02:26:32Z2026-10-15-205801successdocs12f33a66cdc6blessed201ecdf807de—
2026-10-15T18:52:06Z2026-10-15-165737successbuild—blessed0402ac3a684b—
2026-10-14T12:58:43Z2026-10-14-114357successdocs12f33a66cdc6blessed0626dcd2ac67—
2026-10-09T15:02:38Z2026-10-09-091946successdocs12f33a66cdc6blessed42bf34f1f445—
2026-10-07T09:40:34Z2026-10-07-011659successbuild—blessed0402ac3a684b—
2026-10-06T17:53:18Z2026-10-06-141424successbuild—blesseded2c4cd01244—
2026-10-03T19:56:11Z2026-10-03-184025successdocs12f33a66cdc6blessedb58b6abc348e—
2026-10-03T18:44:47Z2026-10-03-173316successdocs12f33a66cdc6blessed7dff2f99b027—
2026-10-01T17:08:43Z2026-10-01-161351successdocs12f33a66cdc6blesseda9fdf57971c7—
2026-10-01T11:22:15Z2026-10-01-100800successdocs12f33a66cdc6blessed8ce51d42078c—
2026-09-30T09:24:41Z2026-09-30-075346successdocs12f33a66cdc6blessed54296598008f—
2026-09-27T12:48:25Z2026-09-27-113123successbuild—blesseded2c4cd01244—
2026-09-22T19:19:01Z2026-09-22-180352successdocs12f33a66cdc6blessed54296598008f—
2026-09-22T16:06:10Z2026-09-22-150613successdocs12f33a66cdc6blessede939acbfa5e4—
2026-09-21T18:28:07Z2026-09-21-171612successdocs12f33a66cdc6blessed903d8f72017d—
2026-09-20T08:30:48Z2026-09-19-225133successdocs12f33a66cdc6blessedf19dec7f0d48—
2026-09-19T20:55:42Z2026-09-19-165417successbuild—blesseded2c4cd01244—
2026-09-18T17:50:26Z2026-09-18-164152successdocs12f33a66cdc6blessed020cf11d1355—
2026-09-18T16:19:38Z2026-09-18-153912successbuild—blesseda96192e7eb6a—
2026-09-17T21:37:10Z2026-09-17-195331successdocs12f33a66cdc6blessed300a3e24556f—
2026-09-16T22:31:50Z2026-09-16-213221successdocs12f33a66cdc6blessedbc45cb47dfd0—
2026-09-16T21:21:59Z2026-09-16-203456successdocs12f33a66cdc6blessedf1cc4394f93d—
2026-09-10T06:50:38Z2026-09-10-055656successbuild—blesseda96192e7eb6a—
2026-09-09T22:46:27Z2026-09-09-215440successdocs12f33a66cdc6blessedc4f43ed3d937—
2026-09-09T09:46:54Z2026-09-09-085214successdocs12f33a66cdc6blessed5188dd90352c—
2026-09-08T18:27:08Z2026-09-08-174401successdocs12f33a66cdc6blessed52ce62b249a5—
2026-09-08T00:17:42Z2026-09-07-215502successdocs12f33a66cdc6blessed58dbdc04fce8—
2026-09-07T17:20:06Z2026-09-07-163926successdocs12f33a66cdc6blessed492728cbaa79—
2026-09-06T21:22:13Z2026-09-06-194027successdocs12f33a66cdc6blessed3bf6b5eb8cff—
2026-09-04T21:01:06Z2026-09-04-174614successdocs12f33a66cdc6blesseddd62111dda7d—
2026-09-03T07:22:52Z2026-09-03-053721successdocs12f33a66cdc6blessedc23bd75b66ac—
2026-09-02T17:06:47Z2026-09-02-153610successbuild—blesseda96192e7eb6a—
2026-08-26T05:28:01Z2026-08-26-040104successdocs12f33a66cdc6blessedc23bd75b66ac—
2026-08-26T03:34:56Z2026-08-25-171050successdocs12f33a66cdc6blessede2de7bdf5926—
2026-08-25T19:08:35Z2026-08-25-171050successbuild—blesseda96192e7eb6a—
2026-08-21T11:20:24Z2026-08-21-094416successbuild—blessed2a374513f461—
2026-08-20T20:21:09Z2026-08-20-194107successdocs12f33a66cdc6blessed592e3d228edf—
2026-08-20T09:41:16Z2026-08-20-084443successdocs12f33a66cdc6blessed643ad83c623e—
2026-08-15T15:47:48Z2026-08-15-112802successdocs12f33a66cdc6blessed1cecfe55a90b—
2026-08-13T13:59:24Z2026-08-13-121658successbuild—blessed2a374513f461—
2026-08-06T15:43:08Z2026-08-06-144512successdocs12f33a66cdc6blessed1cecfe55a90b—
2026-08-06T05:21:40Z2026-08-06-025103successdocs12f33a66cdc6blesseddb647b41229d—
2026-08-05T20:00:33Z2026-08-05-173857successbuild—blessed2a374513f461—
2026-08-04T05:20:10Z2026-08-03-223316successdocs12f33a66cdc6blessed9d34755c0447—
2026-08-03T22:43:03Z2026-08-03-213638successbuild—blessedb3cd18bb1536—
2026-08-01T11:22:35Z2026-08-01-103218successdocsd6296a9635e7blessed71b013725f39—
2026-07-31T19:30:22Z2026-07-31-165000successdocsd6296a9635e7blessedc5fb9a6c1327—
2026-07-31T07:59:42Z2026-07-31-002521successbuild—blessed44b50b6cb142—
2026-07-29T17:59:41Z2026-07-29-171938successdocsd6296a9635e7blessed2b84049a0c04—
2026-07-29T12:57:22Z2026-07-29-121216successdocsd6296a9635e7blessed1caa5c0f9eff—
2026-07-26T23:21:59Z2026-07-26-224748successdocsd6296a9635e7blessed4a1faa1e7f08—
2026-07-26T18:02:06Z2026-07-26-105040successdocsd6296a9635e7blessed0d405f889d56—
2026-07-25T21:34:27Z2026-07-25-204314successdocsd6296a9635e7blessed352f5adf9a79—
2026-07-24T17:43:56Z2026-07-24-164945successdocsd6296a9635e7blessedf1ed21f721c8—
2026-07-24T15:59:08Z2026-07-24-134145successdocsd6296a9635e7blessed0e471c801ef5—
2026-07-23T22:21:08Z2026-07-23-154118successdocsd6296a9635e7blessedb3483a3849c3—
2026-07-23T16:44:46Z2026-07-23-154118successbuild—blessed44b50b6cb142—
2026-07-22T17:09:25Z2026-07-22-163510successdocs5038aa7b3b31blessed52bb00f750ea—
2026-07-22T10:29:29Z2026-07-22-093902successdocs5038aa7b3b31blessedb2f7f27aee20—
2026-07-15T02:37:26Z2026-07-14-215713successdocs5038aa7b3b31blessedc77447839562—
2026-07-14T19:38:24Z2026-07-14-163452successbuild—blessed943a960895ef—
2026-07-10T06:16:02Z2026-07-10-053453successdocs5038aa7b3b31blessed6043123536f7—
2026-07-10T00:55:06Z2026-07-09-233413successbuild—blessed9f287f826c58—