Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Nov 29, 2022

• fix merges

  QuiteStochastic

  committed
  e4ee53d

  Copy full SHA for e4ee53d

Commits on Nov 24, 2022

• fix readmes and fix archive db bootstrap

  QuiteStochastic

  committed
  ae88584

  Copy full SHA for ae88584

Commits on Oct 17, 2022

• Update obsolete passages in CONTRIBUTING.md

  Sventimir

  committed
  430feaa

  Copy full SHA for 430feaa

Commits on Sep 15, 2022

• Merge branch 'develop' into docs/update-urls

  

  Bryan Honof

  authored
  823d8d3

  Copy full SHA for 823d8d3

Commits on Sep 5, 2022

• Move branching strategy to the repo

  Firobe

  committed
  8f342e3

  Copy full SHA for 8f342e3

• Re-organize CI-failures, link to it, add docker section

  Firobe

  committed
  0fa6c6e

  Copy full SHA for 0fa6c6e

Commits on Aug 31, 2022

• Update references to Mina's docs

  Show description for 32eb372
  

  bryanhonof

  authored and

  Bryan Honof

  committed
  32eb372

  Copy full SHA for 32eb372

Commits on Jul 15, 2022

• Merge remote-tracking branch 'origin/compatible' into develop

  yorickvP

  committed
  fc23d4c

  Copy full SHA for fc23d4c

Commits on Jul 5, 2022

• CONTRIBUTING.md: update after review suggestions

  yorickvP

  committed
  f52c32a

  Copy full SHA for f52c32a

• CONTRIBUTING.md: update after rename, link to branching docs

  yorickvP

  committed
  3f0dc6c

  Copy full SHA for 3f0dc6c

Commits on Mar 24, 2022

• Fix a broken link & xrefcheck config

  balsoft

  committed
  ba0afe3

  Copy full SHA for ba0afe3

Commits on Mar 18, 2022

• Fix some more invalid links

  balsoft

  committed
  1185f90

  Copy full SHA for 1185f90

• Documentation: check for invalid references in CI

  Show description for a3bf1fa
  balsoft

  committed
  a3bf1fa

  Copy full SHA for a3bf1fa

Commits on Jul 23, 2020

• Adds documentation around new CI workflow

  bkase

  committed
  0b71753

  Copy full SHA for 0b71753

Commits on May 17, 2019

• add mergify step (#2459)

  

  o1pranay

  authored and

  mergify[bot]

  committed
  7bd93bc

  Copy full SHA for 7bd93bc

Commits on Mar 26, 2019

• Switch to doc-comments before in OCamlformat (#2016)

  Show description for 7b453ba
  

  mrmr1993

  authored and

  mergify[bot]

  committed
  7b453ba

  Copy full SHA for 7b453ba

Commits on Oct 30, 2018

• fixed typo (#1062)

  

  o1brad

  authored and

  emberian

  committed
  51ff9aa

  Copy full SHA for 51ff9aa

Commits on Oct 29, 2018

• consolidate style guide, use under_scores (#1059)

  emberian

  authored
  76ff96a

  Copy full SHA for 76ff96a

Commits on Oct 27, 2018

• CONTRIBUTING.md quickstart (#1046)

  emberian

  authored
  c878728

  Copy full SHA for c878728

Commits on Oct 19, 2018

• open source process docs first draft (#906)

  

  emberian

  authored and

  Corey Richardson

  committed
  ed829f8

  Copy full SHA for ed829f8

Loading