George Agapov

icon indicating an email [email protected]

icon company @MinaProtocol icon location Andorra icon location Computer science, functional programming, formal verification, finance, literature, philosophy, classical music

Results 111 comments of George Agapov

Remove use of submodules

!ci-toolchain-me

Remove use of submodules

!ci-build-me

Remove use of submodules

!ci-build-me

Remove use of submodules

!ci-nightly-me

Remove use of submodules

@mitschabaude and I had a discussion in [Slack](https://o1-labs.slack.com/archives/C0206B5S80Y/p1712814476609219) to discuss pros and cons of this approach.

Remove use of submodules

A caveat of this approach: each `snarky` update would require a rebuild of a toolchain. AFAIU `snarky` is not updated frequently, so this shouldn't be an issue. And `check-opam-switch` will...

[berkeley] Fix nix build in macOS

!ci-build-me

[TESTING][HARD FORK TEST RUN] Generate package to deploy hard fork

!ci-nightly-me

[TESTING][HARD FORK TEST RUN] Generate package to deploy hard fork

!ci-build-me

[TESTING][HARD FORK TEST RUN] Generate package to deploy hard fork

!ci-nightly-me