efffa4c — Nathan Ringo

Don't build releases in CI.

a5e21ce — Nathan Ringo

Enable emails on build failures, unify what gets tested, build releases in the NixOS builder.

dd35623 — Nathan Ringo

Fixes compilation with OCaml 4.14.

01b2ef0 — Nathan Ringo

Adds EqPrf values to the evaluator.

c5ab734 — Nathan Ringo

Updates website to add getting started guide.

8589aa2 — Nathan Ringo

Migrate "No main module" message to use Format.

c5ec758 — Nathan Ringo

Implement SYLVAN_STAGE0_NO_DEFAULT_SRC_DIRS.

400497f — Nathan Ringo

Fix import path for checkPhase.

3917856 — Nathan Ringo

Instead of disabling warnings in the can_load_* tests, promote the one we have from not having implemented Quick Look.

8865ae7 — Nathan Ringo

New logo variants.

06828fc — Nathan Ringo

Fix mask.

e682eb1 — Nathan Ringo

Adds new favicons to website.

7496cd7 — Nathan Ringo

Adds logos derivation. Logos are not yet used; next commit will add them to the website as favicons.

94d0aae — Nathan Ringo

Adds logos derivation. Logos are not yet used; next commit will add them to the website as favicons.

bed6df4 — Nathan Ringo

Wraps type-checking with (let|) more consistently.