Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 15, 2025

• Bump actions/download-artifact from 6 to 7 (#2044)

  Show description for d76163c
  dependabot[bot]

  authored
  d76163c

  Copy full SHA for d76163c

• Bump actions/upload-artifact from 5 to 6 (#2043)

  Show description for 8d26a16
  dependabot[bot]

  authored
  8d26a16

  Copy full SHA for 8d26a16

• Bump @types/node from 25.0.1 to 25.0.2 (#2042)

  Show description for 667a7ef
  dependabot[bot]

  authored
  667a7ef

  Copy full SHA for 667a7ef

• flake.lock: Update (#2041)

  github-actions[bot]

  authored
  5e0f7a4

  Copy full SHA for 5e0f7a4

Commits on Dec 12, 2025

• Bump the react group with 2 updates (#2039)

  Show description for 67ac0b9
  dependabot[bot]

  authored
  67ac0b9

  Copy full SHA for 67ac0b9

• Bump @types/node from 25.0.0 to 25.0.1 (#2040)

  Show description for 077bcaa
  dependabot[bot]

  authored
  077bcaa

  Copy full SHA for 077bcaa

Commits on Dec 11, 2025

• Bump @types/node from 24.10.2 to 25.0.0 (#2038)

  Show description for a0746c4
  dependabot[bot]

  authored
  a0746c4

  Copy full SHA for a0746c4

Commits on Dec 9, 2025

• Bump @types/node from 24.10.1 to 24.10.2 (#2036)

  Show description for ea7432e
  dependabot[bot]

  authored
  ea7432e

  Copy full SHA for ea7432e

Commits on Dec 7, 2025

• Bump parcel from 2.16.1 to 2.16.3 (#2035)

  Show description for d5b80b5
  dependabot[bot]

  authored
  d5b80b5

  Copy full SHA for d5b80b5

• Add `melange.emit` and `melange.runtime_deps` in `dune/suntax.json` (#2027)

  Show description for 461f2ea
  

  davesnx

  and

  smorimoto

  authored
  461f2ea

  Copy full SHA for 461f2ea

• More odoc syntax color (#2029)

  Show description for b25d9e2
  dlesbre

  authored
  b25d9e2

  Copy full SHA for b25d9e2

• flake.lock: Update (#2033)

  github-actions[bot]

  authored
  c71ed46

  Copy full SHA for c71ed46

Commits on Dec 5, 2025

• Bump jws from 3.2.2 to 3.2.3 (#2032)

  Show description for 1efee24
  dependabot[bot]

  authored
  1efee24

  Copy full SHA for 1efee24

Commits on Dec 4, 2025

• Bump the react group with 2 updates (#2030)

  dependabot[bot]

  authored
  c38fecc

  Copy full SHA for c38fecc

• Bump esbuild from 0.27.0 to 0.27.1 (#2031)

  dependabot[bot]

  authored
  2b0cb4d

  Copy full SHA for 2b0cb4d

Commits on Dec 1, 2025

• Support Rocq 9.0 dune plugin (#2026)

  Show description for 2ccb002
  

  shilangyu

  and

  smorimoto

  authored
  2ccb002

  Copy full SHA for 2ccb002

Commits on Nov 30, 2025

• flake.lock: Update (#2028)

  Show description for 026ab7a
  github-actions[bot]

  authored
  026ab7a

  Copy full SHA for 026ab7a

Commits on Nov 27, 2025

• Bump DeterminateSystems/update-flake-lock from 27 to 28 (#2025)

  Show description for 14f4796
  dependabot[bot]

  authored
  14f4796

  Copy full SHA for 14f4796

• Bump @biomejs/biome from 2.3.7 to 2.3.8 (#2024)

  Show description for 843d60d
  dependabot[bot]

  authored
  843d60d

  Copy full SHA for 843d60d

Commits on Nov 25, 2025

• Lock file maintenance

  Show description for ac3a5ca
  smorimoto

  committed
  ac3a5ca

  Copy full SHA for ac3a5ca

• Add information about DPM to README (#2022)

  Show description for dca10b3
  

  PizieDust

  and

  smorimoto

  authored
  dca10b3

  Copy full SHA for dca10b3

Commits on Nov 24, 2025

• Bump @vscode/vsce from 3.7.0 to 3.7.1 (#2021)

  Show description for c7e0d22
  dependabot[bot]

  authored
  c7e0d22

  Copy full SHA for c7e0d22

• Update Yarn to 4.12.0

  Show description for 564dd42
  smorimoto

  committed
  564dd42

  Copy full SHA for 564dd42

Commits on Nov 21, 2025

• Bump @biomejs/biome from 2.3.6 to 2.3.7 (#2019)

  Show description for 2263572
  dependabot[bot]

  authored
  2263572

  Copy full SHA for 2263572

• Bump actions/checkout from 5 to 6 (#2020)

  Show description for aeeecc3
  dependabot[bot]

  authored
  aeeecc3

  Copy full SHA for aeeecc3

• Bump ovsx from 0.10.6 to 0.10.7 (#2018)

  Show description for a8765c5
  dependabot[bot]

  authored
  a8765c5

  Copy full SHA for a8765c5

Commits on Nov 18, 2025

• Bump glob from 10.4.5 to 10.5.0 (#2017)

  Show description for d3ed5ba
  dependabot[bot]

  authored
  d3ed5ba

  Copy full SHA for d3ed5ba

• Bump @tsconfig/node24 from 24.0.2 to 24.0.3 (#2016)

  Show description for e7677b4
  dependabot[bot]

  authored
  e7677b4

  Copy full SHA for e7677b4

• Bump @biomejs/biome from 2.3.5 to 2.3.6 (#2014)

  dependabot[bot]

  authored
  d2e306e

  Copy full SHA for d2e306e

Commits on Nov 17, 2025

• Bump js-yaml from 3.14.1 to 3.14.2 (#2015)

  dependabot[bot]

  authored
  cc70013

  Copy full SHA for cc70013

Commits on Nov 16, 2025

• flake.lock: Update (#2013)

  Show description for da994e2
  github-actions[bot]

  authored
  da994e2

  Copy full SHA for da994e2

Commits on Nov 14, 2025

• Bump @tsconfig/node24 from 24.0.1 to 24.0.2 (#2012)

  Show description for 2b552a9
  dependabot[bot]

  authored
  2b552a9

  Copy full SHA for 2b552a9

Commits on Nov 13, 2025

• Bump @tsconfig/strictest from 2.0.7 to 2.0.8 (#2011)

  dependabot[bot]

  authored
  dab11e4

  Copy full SHA for dab11e4

Commits on Nov 12, 2025

• Prepare 2.0.1 (#2010)

  Show description for 772e640
  smorimoto

  authored
  772e640

  Copy full SHA for 772e640

• Update syntaxes (#2004)

  Show description for 75ca965
  smorimoto

  authored
  75ca965

  Copy full SHA for 75ca965

Pagination

Previous

Next