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

@OanaLPOana Ladret Piciorus' actions (112)

Resource Action Why
nomadic-labs/privacy-team!292
Shared Permutation Argument - Fixes #168
Blocking nomadic-labs/privacy-team#168
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
tezos/tzip!98
Undeprecate TZIP-5
Blocking tezos/tzip!99
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/data-encoding!56
char encoding
feature
Blocking nomadic-labs/data-encoding#40
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!69
Add lazy Sequence encoding
feature
Blocking nomadic-labs/data-encoding#25
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!163
TZIP-023 FA2.1Transfer and call
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/umami-wallet/umami!450
Add Linux file uploads for the AppImage (Redux)
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos-dapp-demo!1
Test taquito
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/ocaml-secp256k1-internal!16
add support to OCaml 5.00
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!178
Add new tzip draft: testnet admin key
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!180
Transfer memo proposal
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!181
New TZIP draft: consensus key
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!182
Update .metrics-dashboard.yml
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tenderbake-simulator!39
Add Nix Flake Support
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!183
New TZIP draft: string signing
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!64
[#20] update ManagedLedger implementation
FA1.2
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!116
update *draft-carbonated-storage-cache*
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!118
add Custom Decoder
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!120
Check transactions in last `k` blocks
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/arvid-tezos!80
Test coverage impact 2: add some lib_clic tests
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/arvid-tezos!85
MR for test: Get coverage after merge
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!184
Add ttl field to TZIP-021
Merge OanaLP is a dispatcher and there is no merge-team reviewer
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/resto!15
add profiling information
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/lwt-exit!3
lwt_exit: Enhance warning message
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!179
On-chain events
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!35
Update TZIP-8 for babylon
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/albert!25
[build|test] adding counter-examples and their related error logs
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/albert!29
Increase coverage
Doing priority::high test
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/resto!14
Add deprecation mechanism
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/tezos!190
nomadic-labs/tezos!190
p2p shell
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/ansible-tezos-source-role!19
Refactoring
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!109
Update directories and files to reflect tzip-xxx scheme
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!111
add draft for DFS
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!138
Ignoring annotations
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!98
Dexter 1.1 verification
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!143
Clarify the prefix used for `extras` in TZIP-16
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!144
Defer TZIP-012's Description of Interfaces to TZIP-016
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!39
Don't allow duplicate field names in an object
bugfix
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!113
Replace String.string_dec by String.eqb in Dexter 2
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!240
nomadic-labs/tezos!240
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/ringo!14
Failing test, waiting for a fix
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/sapling-verification!21
Split Tree module in the F* Spec
FStar IMTs
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!44
Add length field to Bytes and String layout
schemas
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!165
TZIP-024: Off-Chain Claims
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!50
Test: add separate test suite to demonstrate bugs
bugfix
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/sapling-verification!23
F* Sapling Spec: Write a detailed README
IMTs
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!51
Binary_write: tailrec-ify write_rec
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/json-data-encoding!20
Json_encoding: Refactor `construct` API
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tezos-codec-compiler!2
Compiler: improve generation of test suites
testing
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!358
nomadic-labs/tezos!358
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/monitoring-playbooks!14
major fix and changes.
Help add merge-team reviewers OanaLP is a dispatcher
tezos/michelson-reference!62
Formatting fixes for SET_DELEGATE instruction
reference
Help add merge-team reviewers OanaLP is a dispatcher
tezos/michelson-reference!63
Clarification on the representation of newlines in concrete strings
reference
Help add merge-team reviewers OanaLP is a dispatcher
tezos/michelson-reference!64
Fix backwards cycling through search results
output
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!171
Meta: README: Add links to TZIP-1 and 2
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tezos-rust-libs!8
Remove rustc bls12 381
Help add merge-team reviewers OanaLP is a dispatcher
tezos/michelson-reference!65
fix typing rule for PUSH
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!59
Add encoding for Q (rationals as defined in Zarith)
feature
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!60
Add bytes-as-string encoding
feature technical-debt
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/json-data-encoding!25
Add @runtest_js
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!174
TZIP-25: QR Data Transmission Standard
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!486
nomadic-labs/tezos!486
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!149
Kristina@ctez
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/umami-wallet/umami!678
open wert in browser
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/privacy-team!198
Lookups on continuous range
Help add merge-team reviewers OanaLP is a dispatcher
tezos/tzip!177
Add draft for Parameter Signaling
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/umami-wallet/umami!767
Implement rescript compiler
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!152
[README] fix broken link to Michelson spec
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/umami-wallet/umami!785
Git mv desktop source files in a separate directory
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!506
nomadic-labs/tezos!506
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/mi-cho-coq!155
Adding support for 8.14
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/resto!34
Add query-param matching feature to ACL
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/lwt-exit!6
Add warning about binding global promises
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/umami-wallet/umami!809
Move taquito code to separate library
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!510
MR for saturation fuzzing proofs help
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!528
Added proof for substr_l_eq
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!513
nomadic-labs/tezos!513
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/grafazos!20
Multinode dashboard
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/mezos!56
support for jakarta
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/data-encoding!88
`mu` now avoids the first unrolling
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/resto!39
v0.8 changes in CHANGES.md
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!548
More simulation cases for the interpreter
michelson
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/json-data-encoding!33
Add optional object flag to custom encoding
Help add merge-team reviewers OanaLP is a dispatcher
tezos/docker-images/ci-package!2
Add Dockerfiles for ubuntu and fedora packaging
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!521
nomadic-labs/tezos!521
p2p
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos!522
nomadic-labs/tezos!522
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/grafazos!22
GitLab CI pipeline
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!563
Added simulation for dep_big_map_get_by_hash
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!569
Michelson : Add proof for dep_parse_instr_eq
Help add merge-team reviewers OanaLP 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 OanaLP is a dispatcher
nomadic-labs/privacy-team!295
Plompiler: add Bounded module
Help add merge-team reviewers OanaLP is a dispatcher
nomadic-labs/tezos-lang-server!9
[WIP] Upgrade project to proto-010-PtGRANAD
Help add reviewers OanaLP is a dispatcher
nomadic-labs/privacy-team!266
Git: ignore more files
Help add reviewers OanaLP is a dispatcher

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)

ctezos/docker-images/ci-package

Dispatchers:   @arvidnlarvidnl @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  

Mtezos/michelson-reference

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)

Ttezos/tezos-codec-compiler

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)

Ttezos/tezos-rust-libs

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)

tezos/tziptezos/tzip

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)