Dariusz Kijania

Port patch archive test to dev

3

Port #14712 to develop

Network id test

10

Added network test id test

Run mina benchmarks in CI - First step

21

Build all mina benchmarks specified in below document in CI : https://www.notion.so/o1labs/Benchmarks-revisited-b3b42b11ae2347328e72dd139cdd106a Scope of this PR is just to generate csv from each benchmark locally. Next step would be to...

Apply caqti patch

27

Since Berkeley is safety out, we can merge caqti update to our codebase and do not keep it as patch . In this PR i also fixed toolchain issue which...

[Compatible] Update badges and logo

15

Port https://github.com/MinaProtocol/mina/pull/15889 to compatible

[Master] Update Badges and logo on Readme

6

Update build badges and logo

Remove static resources compatible

2

Due to issues with LFS quota, we are moving all static resources like various images to new repo: `https://github.com/MinaProtocol/mina-resources` and moving all references to new repository

Changelog CI job

17

Added simple check to CI which will force to edit CHANGES.md file when editing anything under src/ folder. I tested logic by adding change to src/.... with and without editing...

Introduce LedgerTestApplyTx to Ci

4

### Welcome 👋 Thank you for contributing to Mina! Please see `CONTRIBUTING.md` if you haven't yet. In that doc, there are more details around how to start our CI. If...