Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Jan 21, 2021

• Remove coda-automation-integration-tests submodule

  nholland94

  committed
  82380e8

  Copy full SHA for 82380e8

Commits on Jan 5, 2021

• submodule git --> https

  

  Evan Shapiro

  authored and

  Evan Shapiro

  committed
  46efc5a

  Copy full SHA for 46efc5a

Commits on Dec 29, 2020

• add in a temporary pin for integration tests

  

  Evan Shapiro

  authored and

  Evan Shapiro

  committed
  d301e25

  Copy full SHA for d301e25

Commits on Dec 27, 2020

• remove submodule

  

  Evan Shapiro

  authored and

  Evan Shapiro

  committed
  d45d7e0

  Copy full SHA for d45d7e0

Commits on Dec 7, 2020

• Update marlin to use zexe as an indirect submodule

  mrmr1993

  committed
  7a2d3fe

  Copy full SHA for 7a2d3fe

Commits on Oct 20, 2020

• switch to https instead of ssh

  QuiteStochastic

  committed
  403d138

  Copy full SHA for 403d138

Commits on Oct 16, 2020

• add coda automation submodule at pickles nightly branch

  QuiteStochastic

  committed
  943d07b

  Copy full SHA for 943d07b

Commits on Jul 27, 2020

• Remove Coda_digestif and forked digestif submodule

  mrmr1993

  committed
  e30a199

  Copy full SHA for e30a199

Commits on Jun 10, 2020

• ppx_version from o1-labs/ppx_version (#5072)

  psteckler

  authored
  818dea7

  Copy full SHA for 818dea7

Commits on May 11, 2020

• Snarky bn382 backends (#4338)

  Show description for 186002a
  imeckler

  authored
  186002a

  Copy full SHA for 186002a

Commits on Jan 14, 2020

• Use https links in git submodules (#4167)

  

  Schmavery

  authored and

  bkase

  committed
  6799302

  Copy full SHA for 6799302

Commits on Aug 5, 2019

• Add graphql_ppx (#3091)

  Show description for 3b04fcf
  

  mrmr1993

  authored and

  mergify[bot]

  committed
  3b04fcf

  Copy full SHA for 3b04fcf

Commits on Apr 18, 2019

• Upgrade all our opam deps (#2237)

  Show description for d8c1624
  

  emberian

  authored and

  mergify[bot]

  committed
  d8c1624

  Copy full SHA for d8c1624

Commits on Apr 12, 2019

• Monads and file io (#2202)

  Show description for 632681e
  

  bkase

  authored and

  mergify[bot]

  committed
  632681e

  Copy full SHA for 632681e

Commits on Apr 9, 2019

• Avoid relative urls in the .gitmodules file (#2174)

  Show description for 4382ae8
  

  rahulmutt

  authored and

  bkase

  committed
  4382ae8

  Copy full SHA for 4382ae8

Commits on Mar 7, 2019

• Dep nightmare fixes (#1804)

  Show description for 6e16094
  

  bkase

  authored and

  mergify[bot]

  committed
  6e16094

  Copy full SHA for 6e16094

Commits on Feb 15, 2019

• Dynamic tracing (#1628)

  emberian

  authored
  a92f56b

  Copy full SHA for a92f56b

Commits on Feb 2, 2019

• ppx_optcomp injection + removal of consensus environment configuration (#1553)

  nholland94

  authored
  ad0fe9f

  Copy full SHA for ad0fe9f

Commits on Jan 24, 2019

• small fixes (#1487)

  Show description for 5d5ecad
  emberian

  authored
  5d5ecad

  Copy full SHA for 5d5ecad

Commits on Jan 18, 2019

• Pull in snarky as a submodule (#1463)

  Show description for b617bbf
  mrmr1993

  authored
  b617bbf

  Copy full SHA for b617bbf

Commits on Feb 17, 2018

• Docker reorganization + Continuous Integration (#84)

  Show description for 1bc91d4
  bkase

  authored
  1bc91d4

  Copy full SHA for 1bc91d4

Commits on Feb 9, 2018

• camlsnark (#65)

  Show description for 3fc58e2
  

  imeckler

  authored and

  bkase

  committed
  3fc58e2

  Copy full SHA for 3fc58e2

Loading