Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2023

• Format Nix files (#186)

  Niols

  authored
  b97a5be

  Copy full SHA for b97a5be

Commits on Sep 17, 2023

• Rework handling of assignment words (#176)

  Niols

  authored
  c750447

  Copy full SHA for c750447

• Fix expectations of corresponding tests

  Niols

  committed
  a52431c

  Copy full SHA for a52431c

• Re-recognize tilde-prefixes in assignment words

  Niols

  committed
  cfa009d

  Copy full SHA for cfa009d

• Make TildePrefix.recognize aware of its surroundings

  Niols

  committed
  325ba8b

  Copy full SHA for 325ba8b

• Move merge_leading_literals to CSTHelpers

  Niols

  committed
  e2b0d81

  Copy full SHA for e2b0d81

• Get rid of assignment words in word_csts

  Niols

  committed
  acdb35c

  Copy full SHA for acdb35c

• Improve Nix in CI (#184)

  Niols

  authored
  a2853a7

  Copy full SHA for a2853a7

• Bump actions/checkout from 3 to 4 (#181)

  Show description for 58569ba
  dependabot[bot]

  authored
  58569ba

  Copy full SHA for 58569ba

• Add Cachix substituter fed by CI (#183)

  Niols

  authored
  ea4dd16

  Copy full SHA for ea4dd16

• Bump docker/login-action from 2 to 3 (#182)

  Show description for 0d0351c
  dependabot[bot]

  authored
  0d0351c

  Copy full SHA for 0d0351c

Commits on Aug 16, 2023

• Bump actions/upload-pages-artifact from 1 to 2 (#179)

  Show description for 8bca5da
  dependabot[bot]

  authored
  8bca5da

  Copy full SHA for 8bca5da

Commits on Jun 19, 2023

• Bump cachix/install-nix-action from 21 to 22 (#177)

  Show description for 72f9aad
  dependabot[bot]

  authored
  72f9aad

  Copy full SHA for 72f9aad

Commits on Jun 5, 2023

• Strip tilde prefixes from WordTildePrefix (#164)

  Niols

  authored
  a50e6bf

  Copy full SHA for a50e6bf

Commits on May 25, 2023

• Bump cachix/install-nix-action from 20 to 21 (#173)

  dependabot[bot]

  authored
  da46cba

  Copy full SHA for da46cba

Commits on May 24, 2023

• Add support for unit tests in the test suite (#172)

  Niols

  authored
  7bfd7c4

  Copy full SHA for 7bfd7c4

Commits on May 23, 2023

• Add a QCheck-based test case

  Niols

  committed
  b476e4b

  Copy full SHA for b476e4b

• Review comments in ExtPervasives

  Niols

  committed
  4ed3474

  Copy full SHA for 4ed3474

• fixup name

  Niols

  committed
  9d1e961

  Copy full SHA for 9d1e961

• Rename golden tests runner into golden

  Niols

  committed
  a334d7e

  Copy full SHA for a334d7e

• Add simple unit tests

  Niols

  committed
  e516749

  Copy full SHA for e516749

Commits on May 12, 2023

• Better test output (#171)

  Niols

  authored
  ea91258

  Copy full SHA for ea91258

• Print name of the test at the beginning of the log

  Niols

  committed
  584c46f

  Copy full SHA for 584c46f

• Better format for inline Shell

  Niols

  committed
  9c1651d

  Copy full SHA for 9c1651d

• Specify expectations vs. output in tests output

  Niols

  committed
  0905b4e

  Copy full SHA for 0905b4e

• Fully rewrite the golden tests runner using Alcotest (#169)

  Niols

  authored
  d678f96

  Copy full SHA for d678f96

• Add “as of” to dates

  Niols

  committed
  f8cf93c

  Copy full SHA for f8cf93c

• Ignore uninstallation failures in lower bounds CI

  Niols

  committed
  0edf0b4

  Copy full SHA for 0edf0b4

• Do not install Morbig with opam-install

  Niols

  committed
  52b7cd4

  Copy full SHA for 52b7cd4

• Better way to grab the compiler version

  Niols

  committed
  7b9ae22

  Copy full SHA for 7b9ae22

Commits on May 11, 2023

• Bump flake input opam-nix

  Show description for f23eb42
  Niols

  committed
  f23eb42

  Copy full SHA for f23eb42

• Add odoc to the Nix environment

  Niols

  committed
  2dfbe1d

  Copy full SHA for 2dfbe1d

• Disable tests on Centos in CI

  Niols

  committed
  8452662

  Copy full SHA for 8452662

• Drop support for OCaml < 4.11

  Niols

  committed
  c86f28a

  Copy full SHA for c86f28a

• Also build documentation in nix-based CI

  Niols

  committed
  58a0085

  Copy full SHA for 58a0085

Pagination

Previous

Next