Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on May 4, 2023

• Merge branch 'berkeley' into feature/remote-internal-logs

  psteckler

  committed
  9fd6c79

Commits on May 3, 2023

• Merge remote-tracking branch 'origin/berkeley' into HEAD

  georgeee

  committed
  f44c40c

Commits on May 2, 2023

• fixup

  mitschabaude

  committed
  7faa61a

• Merge branch 'develop' into move-snarkyjs-bindings-2-develop

  mitschabaude

  committed
  674f1fe

• attempt to fix conflicts with develop

  mitschabaude

  committed
  ccfe3eb

Commits on Apr 27, 2023

• rm client SDK

  psteckler

  committed
  a6f73d8

Commits on Apr 26, 2023

• Merge branch 'develop' into move-snarkyjs/bindings-develop

  mitschabaude

  committed
  5281247

Commits on Apr 21, 2023

• CI job for zkapp limits

  deepthiskumar

  committed
  f15b2d3

Commits on Apr 18, 2023

• Merge remote-tracking branch 'origin/berkeley' into HEAD

  georgeee

  committed
  f0e6a02

Commits on Apr 12, 2023

• Heap usage app in CI

  psteckler

  committed
  d237d51

Commits on Apr 4, 2023

• change snarkyjs bindings folder name

  mitschabaude

  committed
  30cb1de

Commits on Apr 3, 2023

• adapt makefile

  mitschabaude

  committed
  76dcc28

Commits on Mar 30, 2023

• [snarkyjs] move down dune lib & scripts

  mitschabaude

  committed
  8250783

Commits on Mar 21, 2023

• address feedback

  querolita

  committed
  3103202

Commits on Mar 16, 2023

• Updates to Makefile and MacOS dev environment set up

  jspada

  committed
  46f0da0

• Fix make-macos build target

  jspada

  committed
  8d08112

Commits on Feb 6, 2023

• removing git hooks

  mimoo

  committed
  98c960d

Commits on Jan 20, 2023

• add make check command which should be faster than make build

  mimoo

  committed
  0fcdb45

Commits on Jan 10, 2023

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

  QuiteStochastic

  committed
  4f71c99

Commits on Jan 4, 2023

• build test executive package and image the same way the daemon is built in CI

  QuiteStochastic

  committed
  4efb0ac

Commits on Oct 25, 2022

• fix makefile

  mitschabaude

  committed
  f889dee

• Revert "revert using js_backend in client sdk, mina-signer"

  Show description for 9d5528e
  mitschabaude

  committed
  9d5528e

Commits on Sep 9, 2022

• Merge pull request MinaProtocol#11765 from MinaProtocol/tweag/improved-contributing-docs

  Show description for 54369e6
  

  Virgile Robles

  authored
  54369e6

Commits on Sep 5, 2022

• Removing obsolete Makefile targets

  Firobe

  committed
  b8341e0

Commits on Aug 31, 2022

• Merge remote-tracking branch 'origin/develop' into nixpkgs-update-develop

  balsoft

  committed
  c51ea8f

Commits on Aug 30, 2022

• Better error message when check_opam_switch is missing

  ylecornec

  committed
  951a346

Commits on Aug 29, 2022

• Merge pull request MinaProtocol#11726 from MinaProtocol/feature/ppx-mina

  psteckler

  authored
  d218e1a

• Rename ppx_coda to ppx_mina

  psteckler

  committed
  8232524

Commits on Aug 24, 2022

• Merge remote-tracking branch 'origin/develop' into ylecornec/check_opam_switch-develop

  ylecornec

  committed
  d7f0208

Commits on Aug 1, 2022

• Fix bitrot in benchmarks

  psteckler

  committed
  8b36a45

Commits on Jul 27, 2022

• Merge branch 'ylecornec/check_opam_switch-compatible' into ylecornec/check_opam_switch-develop

  ylecornec

  committed
  886d185

• Add comments related to check_opam_switch

  ylecornec

  committed
  35abc1b

Commits on Jul 26, 2022

• Merge remote-tracking branch 'refs/remotes/origin/develop'

  Show description for 806c1fa
  ylecornec

  committed
  806c1fa

• check opam switch in makefile

  ylecornec

  committed
  e5150d0

Commits on Jun 15, 2022

• Merge branch 'develop' into tweag/upgrade-ocaml_DEVELOP

  Firobe

  committed
  aa8c64a

Pagination

PreviousNext