Skip to content

Pull requests: mirage/alcotest

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Prepare the release
#420 by samoht was merged Mar 18, 2025
add x-maintenance-intent field to the opam file
#417 by hannesm was merged Feb 7, 2025 Loading…
engine: expose skip exception
#416 by Khady was merged Mar 13, 2025 Loading…
no longer rely on joo_global_object
#413 by hhugo was merged Feb 7, 2025 Loading…
testable for seq and contramap (for testable)
#412 by xvw was merged Sep 23, 2024 Loading…
Prepare the release
#411 by samoht was merged Aug 2, 2024 Loading…
Fix formatting
#410 by samoht was merged Jul 25, 2024 Loading…
Update GitHub Actions
#409 by smorimoto was merged Jul 24, 2024 Loading…
Fix alcotest's own tests when using OCaml 5.2
#402 by kit-ty-kate was merged May 30, 2024 Loading…
Be able to allocate a formatter for stdout/stderr
#399 by dinosaure was merged May 31, 2024 Loading…
Don't detect ocaml-ci specifically, improve CI detection
#397 by MisterDA was merged May 31, 2024 Loading…
Open Windows console handle to retreive dimensions
#396 by MisterDA was merged Oct 6, 2023 Loading…
Recognize opam-repo-ci
#394 by MisterDA was closed Sep 29, 2023 Loading…
Update JaneStreet core and async.
#390 by tmcgilchrist was merged Jul 4, 2023 Loading…
Upgrade to ocamlformat 0.26.0
#389 by Julow was closed Sep 5, 2023 Loading…
Use Fmt.exn instead of Printexc.to_string
#388 by MisterDA was merged Jun 13, 2023 Loading…
Bump to OCaml 4.08 and cmdliner 1.2.0
#387 by MisterDA was merged Jun 13, 2023 Loading…
Set min version of cmdliner to 1.1.1
#384 by gridbugs was merged Mar 31, 2023 Loading…
Improve Alcotest.check doc
#383 by MisterDA was merged Mar 30, 2023 Loading…
Fix reporting terminal dimensions
#381 by MisterDA was merged Sep 20, 2023 Loading…
Apply OCamlFormat 0.25.1
#380 by MisterDA was merged Mar 27, 2023 Loading…
ProTip! Follow long discussions with comments:>50.