Commits

Branch selector

 master

User selector

MisterDA

Datepicker

All time

Commit History

Commits on Jan 12, 2023

• Update GitHub Actions script

  

  MisterDA

  authored and

  let-def

  committed
  d367a72

  Copy full SHA for d367a72

• Fix: visit extra_leaf and join when folding over dropped values.

  

  MisterDA

  authored and

  let-def

  committed
  2807531

  Copy full SHA for 2807531

• Silence unused open warnings in inline tests

  

  MisterDA

  authored and

  let-def

  committed
  cdafc13

  Copy full SHA for cdafc13

• Add examples opam dependencies

  

  MisterDA

  authored and

  let-def

  committed
  fb95191

  Copy full SHA for fb95191

• Enable Dune formatting

  

  MisterDA

  authored and

  let-def

  committed
  1010175

  Copy full SHA for 1010175

• Remove unused value

  

  MisterDA

  authored and

  let-def

  committed
  4ad86a6

  Copy full SHA for 4ad86a6

• Update to dune.3.5

  

  MisterDA

  authored and

  let-def

  committed
  86e81fc

  Copy full SHA for 86e81fc

• Update to brr.0.0.4

  

  MisterDA

  authored and

  let-def

  committed
  adc40cb

  Copy full SHA for adc40cb

• Fix ppx location issue

  

  MisterDA

  authored and

  let-def

  committed
  ed55a62

  Copy full SHA for ed55a62