Skip to content

Activity

Merge pull request #340 from jmid/add-update-to-asciidoc-gha

Pull request merge
jmidpushed 3 commits to main • a15d5de…3fa6779 • 
10 hours ago

Merge pull request #338 from jmid/README-updates

Pull request merge
jmidpushed 7 commits to main • 531314a…a15d5de • 
15 days ago

Deleted branch

Bump actions/checkout from 1 to 4

dependabot[bot]created dependabot/github_actions/actions/checkout-4 • 91d41e9 • 
16 days ago

Merge pull request #336 from jmid/add-corner-warning

Pull request merge
jmidpushed 20 commits to main • 858fb07…531314a • 
16 days ago

Merge pull request #335 from jmid/test-32-bit

Pull request merge
jmidpushed 4 commits to main • 5df42e5…858fb07 • 
20 days ago

Merge pull request #334 from jmid/run-ci-on-530

Pull request merge
jmidpushed 4 commits to main • 19c7d46…5df42e5 • 
20 days ago

Merge pull request #333 from jmid/fix-asciidoc

Pull request merge
jmidpushed 5 commits to main • a8e8535…19c7d46 • 
20 days ago

Merge pull request #326 from jmid/stddev-precision

Pull request merge
jmidpushed 10 commits to main • 7125521…a8e8535 • 
20 days ago

Merge pull request #332 from Pat-Lafon/main

Pull request merge
jmidpushed 5 commits to main • 1201198…7125521 • 
21 days ago

Deleted branch

Merge pull request #330 from c-cube/dependabot/github_actions/actions…

Pull request merge
jmidpushed 2 commits to main • 2a9216b…1201198 • 
22 days ago

Deleted branch

Merge pull request #329 from c-cube/dependabot/github_actions/avsm/se…

Pull request merge
jmidpushed 2 commits to main • 721807d…2a9216b • 
22 days ago

Deleted branch

Merge pull request #328 from c-cube/dependabot/github_actions/peaceir…

Pull request merge
jmidpushed 2 commits to main • a015e64…721807d • 
22 days ago

Bump actions/cache from 2 to 4

dependabot[bot]created dependabot/github_actions/actions/cache-4 • 5a80abd • 
22 days ago

Bump avsm/setup-ocaml from 1 to 3

dependabot[bot]created dependabot/github_actions/avsm/setup-ocaml-3 • e10d70e • 
22 days ago

Bump peaceiris/actions-gh-pages from 3 to 4

Merge pull request #327 from jmid/add-dependabot

Pull request merge
jmidpushed 2 commits to main • 38290e2…a015e64 • 
22 days ago

Prepare CHANGELOG for next release

jmidpushed 5 commits to main • 7a2ebef…38290e2 • 
27 days ago

doc for 0.24

jmidpushed 1 commit to gh-pages • 6354b84…76d7ea2 • 
27 days ago

Deleted tag

jmiddeleted refs/tags/v0.24 • 
on Feb 17

Merge pull request #323 from jmid/alcotest-speed-level

Pull request merge
jmidpushed 3 commits to main • 1ca1186…7a2ebef • 
on Feb 17

Merge pull request #321 from jmid/further-qcheck2-list-improvements

Pull request merge
jmidpushed 5 commits to main • eceaf24…1ca1186 • 
on Feb 14

Merge pull request #320 from jmid/qcheck2-ocaml4-faster-split-hack

Pull request merge
jmidpushed 8 commits to main • 6726de8…eceaf24 • 
on Feb 7

Merge pull request #319 from jmid/qcheck2-shrink-improvements

Pull request merge
jmidpushed 16 commits to main • 4e5b3df…6726de8 • 
on Feb 5

Merge pull request #318 from jmid/qcheck2-use-splittable-rng

Pull request merge
jmidpushed 20 commits to main • 2c49458…4e5b3df • 
on Jan 31

Merge pull request #316 from jmid/missing-tests

Pull request merge
jmidpushed 10 commits to main • 56d9132…2c49458 • 
on Jan 22

Merge pull request #315 from jmid/add-x-maintenance-intent

Pull request merge
jmidpushed 2 commits to main • 835d02d…56d9132 • 
on Jan 20