Resource | Action | Why |
---|---|---|
nomadic-labs/privacy-team!292 Shared Permutation Argument - Fixes #168 Blocking nomadic-labs/privacy-team#168 | Merge | nguyencharles.nlabs is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher | |
nomadic-labs/coq-tezos-of-ocaml!560 encoding Blocking nomadic-labs/coq-tezos-of-ocaml#102 nomadic-labs/coq-tezos-of-ocaml#101 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!118 Arvid@dexter lemmas and refactorings Blocking nomadic-labs/mi-cho-coq!100 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!56 char encoding feature Blocking nomadic-labs/data-encoding#40 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!69 Add lazy Sequence encoding feature Blocking nomadic-labs/data-encoding#25 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami!450 Add Linux file uploads for the AppImage (Redux) | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos-dapp-demo!1 Test taquito | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/ocaml-secp256k1-internal!16 add support to OCaml 5.00 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tenderbake-simulator!39 Add Nix Flake Support | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/arvid-tezos!80 Test coverage impact 2: add some lib_clic tests | Merge | nguyencharles.nlabs is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher | |
nomadic-labs/arvid-tezos!85 MR for test: Get coverage after merge | Merge | nguyencharles.nlabs is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher | |
nomadic-labs/resto!15 add profiling information | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/lwt-exit!3 lwt_exit: Enhance warning message | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!57 Integrate the output of coq-of-ocaml with the interpreter coq-of-ocaml 🐓 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!59 Add specialized multisig source doc smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!62 Functional proof of guestbook contract and simple lifetime property smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/albert!25 [build|test] adding counter-examples and their related error logs | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!70 Certification of the specialised multisig smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/albert!29 Increase coverage Doing priority::high test | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/resto!14 Add deprecation mechanism | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/lwt-watcher!1 Add the possibility to bound the number of values contained by an output stream | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!190 nomadic-labs/tezos!190 p2p shell | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/ansible-tezos-source-role!19 Refactoring | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!39 Don't allow duplicate field names in an object bugfix | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!113 Replace String.string_dec by String.eqb in Dexter 2 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!240 nomadic-labs/tezos!240 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/ringo!14 Failing test, waiting for a fix | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/sapling-verification!21 Split Tree module in the F* Spec FStar IMTs | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!137 FA1.2 verification v2 formalisation | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!50 Test: add separate test suite to demonstrate bugs bugfix | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/sapling-verification!23 F* Sapling Spec: Write a detailed README IMTs | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!51 Binary_write: tailrec-ify write_rec | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/json-data-encoding!20 Json_encoding: Refactor `construct` API | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!358 nomadic-labs/tezos!358 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/monitoring-playbooks!14 major fix and changes. | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!59 Add encoding for Q (rationals as defined in Zarith) feature | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!60 Add bytes-as-string encoding feature technical-debt | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/json-data-encoding!25 Add @runtest_js | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!486 nomadic-labs/tezos!486 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!149 Kristina@ctez | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami!678 open wert in browser | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/privacy-team!198 Lookups on continuous range | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!151 Fix #66 and #67 bug test | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami!767 Implement rescript compiler | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!152 [README] fix broken link to Michelson spec | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami!785 Git mv desktop source files in a separate directory | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!506 nomadic-labs/tezos!506 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami-stack-orchestration!49 Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mi-cho-coq!155 Adding support for 8.14 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/resto!34 Add query-param matching feature to ACL | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/lwt-exit!6 Add warning about binding global promises | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami!809 Move taquito code to separate library | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!513 nomadic-labs/tezos!513 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/grafazos!20 Multinode dashboard | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/mezos!56 support for jakarta | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/data-encoding!88 `mu` now avoids the first unrolling | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/resto!39 v0.8 changes in CHANGES.md | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/json-data-encoding!33 Add optional object flag to custom encoding | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!521 nomadic-labs/tezos!521 p2p | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos!522 nomadic-labs/tezos!522 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/grafazos!22 GitLab CI pipeline | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!568 Added proofs for index_opt_eq and substr_l_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/umami-wallet/umami-stack-orchestration!51 Resolve "Indexer-multicore issue after block 1810000" Umami-stack::indexer | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/privacy-team!295 Plompiler: add Bounded module | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/tezos-lang-server!9 [WIP] Upgrade project to proto-010-PtGRANAD | Help add reviewers | nguyencharles.nlabs is a dispatcher |
nomadic-labs/privacy-team!266 Git: ignore more files | Help add reviewers | nguyencharles.nlabs is a dispatcher |