Updated on 2022-06-10 10:15:22 UTC
refreshed every 30 minutes

@onurbBruno B's actions (87)

Resource Action Why
tezos/tezos#975
Nomadic Labs' repository is private
wontfix 🙈
Solve issue onurb is assigned
nomadic-labs/privacy-team!292
Shared Permutation Argument - Fixes #168
Blocking nomadic-labs/privacy-team#168
Merge onurb is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers onurb 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 onurb 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 onurb is a dispatcher
nomadic-labs/data-encoding!56
char encoding
feature
Blocking nomadic-labs/data-encoding#40
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!69
Add lazy Sequence encoding
feature
Blocking nomadic-labs/data-encoding#25
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/umami-wallet/umami!450
Add Linux file uploads for the AppImage (Redux)
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos-dapp-demo!1
Test taquito
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/ocaml-secp256k1-internal!16
add support to OCaml 5.00
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tenderbake-simulator!39
Add Nix Flake Support
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/arvid-tezos!80
Test coverage impact 2: add some lib_clic tests
Merge onurb is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/arvid-tezos!85
MR for test: Get coverage after merge
Merge onurb is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/albert#21
Add tests for opcodes
Doing priority::high test
Complete task onurb is assigned
nomadic-labs/mi-cho-coq#20
Verify the dexter contract
Doing smart-contract verification
Solve issue onurb is assigned
nomadic-labs/mi-cho-coq#22
nomadic-labs/mi-cho-coq#22
Done smart-contract verification
Solve issue onurb is assigned
nomadic-labs/albert#16
Extend test suite
test
Solve issue onurb is assigned
nomadic-labs/tezos#335
nomadic-labs/tezos#335
type::meta
Solve issue onurb is assigned
nomadic-labs/tezos#378
nomadic-labs/tezos#378
issues-management
Solve issue onurb is assigned
nomadic-labs/resto!15
add profiling information
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/lwt-exit!3
lwt_exit: Enhance warning message
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/albert!25
[build|test] adding counter-examples and their related error logs
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/albert!29
Increase coverage
Doing priority::high test
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/resto!14
Add deprecation mechanism
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/tezos!190
nomadic-labs/tezos!190
p2p shell
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/ansible-tezos-source-role!19
Refactoring
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!98
Dexter 1.1 verification
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!39
Don't allow duplicate field names in an object
bugfix
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!113
Replace String.string_dec by String.eqb in Dexter 2
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!240
nomadic-labs/tezos!240
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/ringo!14
Failing test, waiting for a fix
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/sapling-verification!21
Split Tree module in the F* Spec
FStar IMTs
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!44
Add length field to Bytes and String layout
schemas
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!50
Test: add separate test suite to demonstrate bugs
bugfix
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/sapling-verification!23
F* Sapling Spec: Write a detailed README
IMTs
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!51
Binary_write: tailrec-ify write_rec
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/json-data-encoding!20
Json_encoding: Refactor `construct` API
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!358
nomadic-labs/tezos!358
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/monitoring-playbooks!14
major fix and changes.
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!59
Add encoding for Q (rationals as defined in Zarith)
feature
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!60
Add bytes-as-string encoding
feature technical-debt
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/json-data-encoding!25
Add @runtest_js
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!486
nomadic-labs/tezos!486
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!149
Kristina@ctez
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/umami-wallet/umami!678
open wert in browser
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/privacy-team!198
Lookups on continuous range
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/umami-wallet/umami!767
Implement rescript compiler
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!152
[README] fix broken link to Michelson spec
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/umami-wallet/umami!785
Git mv desktop source files in a separate directory
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!506
nomadic-labs/tezos!506
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/mi-cho-coq!155
Adding support for 8.14
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/resto!34
Add query-param matching feature to ACL
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/lwt-exit!6
Add warning about binding global promises
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/umami-wallet/umami!809
Move taquito code to separate library
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!510
MR for saturation fuzzing proofs help
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!528
Added proof for substr_l_eq
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!513
nomadic-labs/tezos!513
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/grafazos!20
Multinode dashboard
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mezos!56
support for jakarta
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/data-encoding!88
`mu` now avoids the first unrolling
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/resto!39
v0.8 changes in CHANGES.md
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!548
More simulation cases for the interpreter
michelson
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/json-data-encoding!33
Add optional object flag to custom encoding
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!521
nomadic-labs/tezos!521
p2p
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos!522
nomadic-labs/tezos!522
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/grafazos!22
GitLab CI pipeline
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!563
Added simulation for dep_big_map_get_by_hash
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!569
Michelson : Add proof for dep_parse_instr_eq
Help add merge-team reviewers onurb 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 onurb is a dispatcher
nomadic-labs/privacy-team!295
Plompiler: add Bounded module
Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/tezos-lang-server!9
[WIP] Upgrade project to proto-010-PtGRANAD
Help add reviewers onurb is a dispatcher
nomadic-labs/privacy-team!266
Git: ignore more files
Help add reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq#61
Move big proofs in a separate repo
Solve issue onurb opened issue and no one is assigned
nomadic-labs/mi-cho-coq!6
WIP: Documentation of the proof of the multisig contract
doc smart-contract verification
Close or reply to thread onurb is the thread author
nomadic-labs/albert!23
WIP Bruno@coverage
Doing priority::high test
UnWIP onurb is the original author

Repositories

nomadic-labs/albertnomadic-labs/albert

Issue watchers:  No one (no one)

Anomadic-labs/ansible-tezos-source-role

Issue watchers:  No one (no one)

anomadic-labs/arvid-tezos

Merge‑teamers:   @arvidnlarvidnl (from approval rules)
Issue watchers:  No one (no one)

nomadic-labs/coq-tezos-of-ocamlnomadic-labs/coq-tezos-of-ocaml

Issue watchers:  No one (no one)

dnomadic-labs/data-encoding

Issue watchers:  No one (no one)

gnomadic-labs/grafazos

Issue watchers:  No one (no one)

jnomadic-labs/json-data-encoding

Issue watchers:  No one (no one)

lnomadic-labs/lwt-exit

Issue watchers:  No one (no one)

lnomadic-labs/lwt-watcher

Issue watchers:  No one (no one)

Mnomadic-labs/mezos

Issue watchers:  No one (no one)

Mnomadic-labs/mi-cho-coq

Issue watchers:  No one (no one)

Nnomadic-labs/monitoring-playbooks

Issue watchers:  No one (no one)

onomadic-labs/ocaml-secp256k1-internal

Issue watchers:  No one (no one)

pnomadic-labs/privacy-team

Merge‑teamers:   @dannywillemsdannywillems @MarcBeunardeauMarcBeunardeau @paracetamoloparacetamolo (from approval rules)
Issue watchers:  No one (no one)

rnomadic-labs/resto

Issue watchers:  No one (no one)

rnomadic-labs/ringo

Issue watchers:  No one (no one)

snomadic-labs/sapling-verification

Issue watchers:  No one (no one)

tnomadic-labs/tenderbake-simulator

Issue watchers:  No one (no one)

nomadic-labs/tezosnomadic-labs/tezos

Issue watchers:  No one (no one)

tnomadic-labs/tezos-dapp-demo

Issue watchers:  No one (no one)

tnomadic-labs/tezos-lang-server

Merge‑teamers:   @baugrbaugr @kinokasaikinokasai (from approval rules)
Issue watchers:  No one (no one)

nomadic-labs/umami-wallet/umaminomadic-labs/umami-wallet/umami

Issue watchers:  No one (no one)

nomadic-labs/umami-wallet/umami-stack-orchestrationnomadic-labs/umami-wallet/umami-stack-orchestration

Issue watchers:  No one (no one)

tezos/tezostezos/tezos

Dispatchers:   @arvidnlarvidnl (from issue tezos/tezos#1062)
Issue watchers:  No one (from issue tezos/tezos#1061)
Labels:  priority::critical type::incident type::bug priority::high type::flake priority::medium confirmed 👁 alpha α approved arm64 bad UX 🍎 baking bootstrap build system CI ⚙ ci--arm64 ci--docker ci--docs ci--no-coverage ci--opam client 🏧 Code quality 🌟 compiler 🤖 coq-of-ocaml 🐔 crypto DAL dalphanet deps-rework doc 📖 doc-only docker 🐳 dune3 emacs encoding error-handling gas 🚂 good beginner task 🍼 incident javascript ledger light 💡 liquidity-baking lmdb logging lwt ➡️ mainnet-only mandatory marge-priority::high mempool michelson ⚗ minor mockup monad-wrangling monitoring multisig needs help needs testing Nice to have 👶 node 🖥 Not for V1 💫 ode-observability opam opsec 🔐 p2p 🌐 Packaging 📦 performance platform-compatibility priority::low proto proto::Consensus algorithm proto::environment proto::next proto::plugins proxy python 🐍 ready for review party 🎉 release manager 👷 Release Process Crew revert rpc ☎ rust sapling scoru security shell signer simple snoop specification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do stdlib storage support 💁 team::michelson team::node-tools team::SDK Terraform test ⚒ testnet::idiazabalnet tests::alcotest tests::CI tests::coverage tests::crowbar tests::documentation tests::flextesa tests::performance tests::pytest tests::qcheck tests::suite tests::tezt tickets tooling toru::client toru::daemon 👹 toru::layer1 toru::layer1+2 toru::layer2 toru::storage 🌳 triage::level0 triage::level1 triage::level2 try-reproduce type::benchmark type::discussion type::feature type::meta type::suggestion validation waiting for feedback wasm-pvm:lazy-tree wontfix 🙈 wrapper-shell-script