Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 6 additions & 0 deletions .gitattributes
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
# Tell github that .ml and .mli files are OCaml
*.ml linguist-language=OCaml
*.mli linguist-language=OCaml

# Disable syntax detection for cram tests
*.t linguist-language=Text
9 changes: 9 additions & 0 deletions .github/crs-config.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{
"$schema": "https://github.com/mbarbin/crs/releases/download/0.0.20260307/crs-config.schema.json",
"default_repo_owner": "mbarbin",
"user_mentions_allowlist": [
"mbarbin"
],
"invalid_crs_annotation_severity": "Error",
"crs_due_now_annotation_severity": "Warning"
}
57 changes: 57 additions & 0 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,57 @@
name: ci

on:
push:
branches:
- main
pull_request:
branches:
- "**" # This will match pull requests targeting any branch

permissions:
contents: read

jobs:
build:
strategy:
fail-fast: false
matrix:
os:
- ubuntu-latest
ocaml-version:
- "5.4"

runs-on: ${{ matrix.os }}

defaults:
run:
shell: bash

steps:
- name: Checkout code
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

- name: Environment setup
run: |
echo "DUNE_WORKSPACE=$PWD/dune-workspace-${{ matrix.ocaml-version }}" >> "$GITHUB_ENV"

- name: Setup Dune
uses: mbarbin/setup-dune@ae2985bcdedc6fb24e5743d6f9dace9cf262b41c # v2.0.0+patch-4
with:
version: "3.21.0"
workspace: ${{ env.DUNE_WORKSPACE }}
cache-prefix: "main-ci-${{ matrix.ocaml-version }}"
cache-readonly: ${{ github.ref != 'refs/heads/main' }}
steps: install-dune enable-pkg lazy-update-depexts install-gpatch install-depexts

- name: Build and Run tests
run: dune build @all @runtest

- name: Lint
run: dune build @lint @fmt @unused-libs

- name: Build Doc
run: dune build @doc

- name: Check for uncommitted changes
run: git diff --exit-code
28 changes: 28 additions & 0 deletions .github/workflows/crs.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
name: CRs Workflows

on:
pull_request:
branches:
- "**" # This will match pull requests targeting any branch

permissions:
contents: read
pull-requests: write

jobs:
crs-workflows:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

- name: Install crs
uses: mbarbin/crs-actions/setup-crs@1496bc422fe27b357d6354ab494e922f6a2b061f # v1.0.0-alpha.13
with:
crs-version: 0.0.20260307
crs-digest: sha256:5097e709386d8d41351a87f86c8ad374db72aabe4ddc2a8ff2d58faebb1b889f

- name: Summarize CRs in PR
uses: mbarbin/crs-actions/summarize-crs-in-pr@1496bc422fe27b357d6354ab494e922f6a2b061f # v1.0.0-alpha.13
with:
crs-config: .github/crs-config.json
28 changes: 28 additions & 0 deletions .github/workflows/dunolint.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,28 @@
name: Dunolint Workflows

on:
push:
branches:
- main
pull_request:
branches:
- "**" # This will match pull requests targeting any branch

permissions:
contents: read

jobs:
dunolint-workflows:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

- name: Install dunolint
uses: mbarbin/dunolint-actions/setup-dunolint@a29eea82e86ed2a5cc1ee25e15dc615d77ac4b4f # v1.0.0-alpha.5
with:
dunolint-version: 0.0.20260306
dunolint-digest: sha256:b83c07dd352cd4bec36b872ac593f299972710baff70a62e7a4650e80d2460d4

- name: Lint Check
uses: mbarbin/dunolint-actions/lint-check@a29eea82e86ed2a5cc1ee25e15dc615d77ac4b4f # v1.0.0-alpha.5
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
_opam
_build
_coverage
*.install
14 changes: 14 additions & 0 deletions .headache.config
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
# Objective Caml source
".*\\.ml[l]?" -> frame open:"(*" line:"*" close:"*)"
# We add '_' in mli to comply with [ppx_js_style -check-doc-comments].
| ".*\\.mli" -> frame open:"(*_" line:"*" close:"*)"
| ".*\\.fml[i]?" -> frame open:"(*" line:"*" close:"*)"
| ".*\\.mly" -> frame open:"/*" line:"*" close:"*/"
# C source
| ".*\\.[chy]" -> frame open:"/*" line:"*" close:"*/"
# Latex
| ".*\\.tex" -> frame open:"%" line:"%" close:"%"
# Misc
| ".*Makefile.*" -> frame open:"#" line:"#" close:"#"
| ".*README.*" -> frame open:"*" line:"*" close:"*"
| ".*LICENSE.*" -> frame open:"*" line:"*" close:"*"
9 changes: 9 additions & 0 deletions .headache.dirs
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# List of directories for headache.sh
# Add new directories below. Lines starting with '#' are ignored.
src/mdexp
src/mdexp_cli
src/mdexp_cli/bin
src/stdlib
test/mdexp
test/mdexp_cli
test/stdlib
4 changes: 4 additions & 0 deletions .ocamlformat
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
version=0.28.1
ocaml-version=5.2
profile=janestreet
parse-docstrings=true
21 changes: 21 additions & 0 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
{
"files.insertFinalNewline": true,
"files.trimFinalNewlines": true,
"files.associations": {
"**/crs-config.json": "jsonc"
},
"cSpell.words": [
"Barbin",
"decr",
"endline",
"Fpath",
"ltrim",
"Mathieu",
"mbarbin",
"mdexp",
"rtrim",
"sexp",
"unflushed",
"Yojson"
]
}
13 changes: 13 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
## X.X.XXXX (unreleased)

Initial release of ocaml-mdexp.

### Added

### Changed

### Deprecated

### Fixed

### Removed
1 change: 1 addition & 0 deletions CODEOWNERS
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
* @mbarbin
Loading