Skip to content

Actions: MinaProtocol/mina

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow run results
374 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chunking = fin Build nix #595: Pull request #14344 opened by mrmr1993
October 14, 2023 19:34 7m 1s feature/recursive-chunks-too
feature/recursive-chunks-too
October 14, 2023 19:34 7m 1s
Stale issue handler Stale issue handler #716: Scheduled
October 14, 2023 00:02 57s develop
develop
October 14, 2023 00:02 57s
Add tests for Inputs.Stack in transaction_logic/mina_transaction_logic.ml Build nix #594: Pull request #12796 synchronize by joaosreis
October 13, 2023 15:42 8m 57s gltrost/transaction_logic_stack_tests
gltrost/transaction_logic_stack_tests
October 13, 2023 15:42 8m 57s
Improve fork config generation for develop. Build nix #593: Pull request #14285 synchronize by Sventimir
October 13, 2023 08:54 10m 12s sventimir/fix-fork-generation-develop
sventimir/fix-fork-generation-develop
October 13, 2023 08:54 10m 12s
Improve fork config generation for develop. Build nix #592: Pull request #14285 synchronize by Sventimir
October 13, 2023 08:17 6m 40s sventimir/fix-fork-generation-develop
sventimir/fix-fork-generation-develop
October 13, 2023 08:17 6m 40s
Stale issue handler Stale issue handler #715: Scheduled
October 13, 2023 00:02 57s develop
develop
October 13, 2023 00:02 57s
[RFC] Hard fork data migration Build nix #591: Pull request #14288 synchronize by psteckler
October 12, 2023 23:08 16m 22s rfc/hard-fork-data-migration
rfc/hard-fork-data-migration
October 12, 2023 23:08 16m 22s
Internal docs for Mina_caqti Build nix #590: Pull request #14294 synchronize by psteckler
October 12, 2023 23:08 6m 32s feature/mina-caqti-internal-docs
feature/mina-caqti-internal-docs
October 12, 2023 23:08 6m 32s
Merge pull request #14238 from MinaProtocol/feat/o1js-add-mina-submod… Build nix #589: Commit d905bd9 pushed by psteckler
October 12, 2023 23:00 6m 57s develop
develop
October 12, 2023 23:00 6m 57s
App to add berkeley account tables Build nix #588: Pull request #14339 opened by psteckler
October 12, 2023 22:58 18m 50s feature/add-berkeley-account-tables
feature/add-berkeley-account-tables
October 12, 2023 22:58 18m 50s
add protocol_version to permissions Build nix #587: Pull request #14337 opened by ghost-not-in-the-shell
October 12, 2023 22:22 13m 56s feature/verification-key-permission
feature/verification-key-permission
October 12, 2023 22:22 13m 56s
Add comment for version linter script Build nix #586: Pull request #14336 opened by psteckler
October 12, 2023 21:20 16m 14s feature/ci-linter-doc
feature/ci-linter-doc
October 12, 2023 21:20 16m 14s
Add docs for Processor, Load_data Build nix #585: Pull request #14335 opened by psteckler
October 12, 2023 19:50 15m 55s feature/archive-processor-doc
feature/archive-processor-doc
October 12, 2023 19:50 15m 55s
Add support to wrap prover for verifying chunked step proofs Build nix #584: Pull request #14331 synchronize by mrmr1993
October 12, 2023 17:42 42m 14s feature/surely-not-more-chunks
feature/surely-not-more-chunks
October 12, 2023 17:42 42m 14s
Add support to wrap prover for verifying chunked step proofs Build nix #583: Pull request #14331 synchronize by mrmr1993
October 12, 2023 17:34 35m 39s feature/surely-not-more-chunks
feature/surely-not-more-chunks
October 12, 2023 17:34 35m 39s
Enable step proofs with chunking from OCaml Build nix #582: Pull request #14317 synchronize by mrmr1993
October 12, 2023 17:32 6m 3s feature/and-yet-more-chunks
feature/and-yet-more-chunks
October 12, 2023 17:32 6m 3s
Add support to wrap prover for verifying chunked step proofs Build nix #581: Pull request #14331 opened by mrmr1993
October 12, 2023 17:05 12m 45s feature/surely-not-more-chunks
feature/surely-not-more-chunks
October 12, 2023 17:05 12m 45s
[DONT MERGE] Update o1js bindings for develop Build nix #580: Pull request #14330 opened by rbonichon
October 12, 2023 14:56 21m 28s rb/nix-wasm-bindgen-0.2.84-temporary-fix
rb/nix-wasm-bindgen-0.2.84-temporary-fix
October 12, 2023 14:56 21m 28s
Improve fork config generation for develop. Build nix #579: Pull request #14285 synchronize by Sventimir
October 12, 2023 14:50 5m 49s sventimir/fix-fork-generation-develop
sventimir/fix-fork-generation-develop
October 12, 2023 14:50 5m 49s
[#14206,#14205] Cosmetics for of_int, of_nat Build nix #578: Pull request #14216 synchronize by volhovm
October 12, 2023 12:29 6m 41s volhovm/14206-14206-of_int-of_nat
volhovm/14206-14206-of_int-of_nat
October 12, 2023 12:29 6m 41s
[CI] Optimize rosetta docker Build nix #577: Pull request #14272 synchronize by dkijania
October 12, 2023 11:30 20m 53s clean_rosetta_toolchain_dockers
clean_rosetta_toolchain_dockers
October 12, 2023 11:30 20m 53s
Nix: fix expected hashes for wasm-bindgen-cli Build nix #576: Pull request #14329 synchronize by rbonichon
October 12, 2023 08:42 7m 22s rb/nix-wasm-bindgen-0.2.85
rb/nix-wasm-bindgen-0.2.85
October 12, 2023 08:42 7m 22s
Nix: fix expected hashes for wasm-bindgen-cli Build nix #575: Pull request #14329 opened by rbonichon
October 12, 2023 08:41 7m 50s rb/nix-wasm-bindgen-0.2.85
rb/nix-wasm-bindgen-0.2.85
October 12, 2023 08:41 7m 50s
Stale issue handler Stale issue handler #714: Scheduled
October 12, 2023 00:02 52s develop
develop
October 12, 2023 00:02 52s
Db migration app from mainnet to berkeley Build nix #574: Pull request #12906 synchronize by psteckler
October 11, 2023 21:36 17m 14s feature/berkeley-db-migrator
feature/berkeley-db-migrator
October 11, 2023 21:36 17m 14s