Updated on 2022-06-10 10:15:21 UTC
refreshed every 30 minutes
refreshed every 30 minutes
David Dumas' actions
(102)
| Resource | Action | Why |
|---|---|---|
| tezos/tezos!5402 CI: fix Tezos Docker image labels (OCI standard) CI ⚙ ci--docker Release Process Crew | Reply to thread | davdumas is the original author |
| tezos/tezos#2797 Publish Debian packages automatically on release build system release manager 👷 state::in-progress | Complete task | davdumas is assigned |
| tezos/tezos#3179 Release Octez exporter Grafana dashboard CI ⚙ monitoring Release Process Crew state::in-progress | Complete task | davdumas is assigned |
| tezos/tezos#2989 Follow-up from "CI: reduce dependencies for job `unified_coverage`" | Complete task | davdumas is assigned |
| tezos/tezos#2310 Improve Terraform pipelines: remove all sensitive information CI ⚙ Code quality 🌟 security state::blocked Terraform | Solve issue | davdumas is assigned |
| tezos/tezos#2760 Umami MacOS runner - Enable Firewall Release Process Crew security state::to-do | Solve issue | davdumas is assigned |
| tezos/tezos#2309 Improve Terraform pipelines: use GitLab maintained work CI ⚙ Code quality 🌟 Nice to have 👶 Terraform | Solve issue | davdumas opened issue and no one is assigned |
| tezos/tezos#2334 Docker images improvement CI ⚙ docker 🐳 Release Process Crew | Solve issue | davdumas opened issue and no one is assigned |
| tezos/tezos#2786 PRT InfluxDB - Fix security security tests::performance | Solve issue | davdumas opened issue and no one is assigned |
| tezos/tezos#2787 PRT InfluxDB - Backups tests::performance | Solve issue | davdumas opened issue and no one is assigned |
| tezos/tezos#2795 Tezos pipeline: 'when' should default to 'on_success' instead 'always' everywhere CI ⚙ | Solve issue | davdumas opened issue and no one is assigned |
| tezos/tezos#2865 GitLab runners/executors using the user root (long term fix) CI ⚙ Release Process Crew security | Solve issue | davdumas opened issue and no one is assigned |
| tezos/opam-repository!298 Draft: Bump alpine from 3.14 to 3.15 | Close or reply to thread | davdumas is the thread author |
| Fix CI | davdumas is the original author and triggered last pipeline | |
| UnWIP | davdumas is the original author | |
| tezos/tezos!5518 Draft: CI: manual pipelines for MRs | Reply to thread | davdumas is the original author |
| UnWIP | davdumas is the original author | |
| tezos/tezos!5306 Draft: CI: docker image using alpine 3.15 CI ⚙ docker 🐳 | Fix CI | davdumas is the original author and triggered last pipeline |
| UnWIP | davdumas is the original author | |
| tezos/opam-repository!283 Draft: Use the build Docker image defined in Tezos as cache | UnWIP | davdumas is the original author |
| tezos/opam-repository!313 Draft: Rework triggers (avoid duplicated pipelines in 'nomadic-labs' and 'tezos' namespaces) | UnWIP | davdumas is the original author |
| nomadic-labs/privacy-team!292 Shared Permutation Argument - Fixes #168 Blocking nomadic-labs/privacy-team#168 | Merge | davdumas is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | davdumas 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 | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/data-encoding!56 char encoding feature Blocking nomadic-labs/data-encoding#40 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!69 Add lazy Sequence encoding feature Blocking nomadic-labs/data-encoding#25 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/umami-wallet/umami!450 Add Linux file uploads for the AppImage (Redux) | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos-dapp-demo!1 Test taquito | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/ocaml-secp256k1-internal!16 add support to OCaml 5.00 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tenderbake-simulator!39 Add Nix Flake Support | Help add merge-team reviewers | davdumas is a dispatcher |
| tezos/docker-images/ci-package!2 Add Dockerfiles for ubuntu and fedora packaging | Review or approve | davdumas is assigned |
| Help add merge-team reviewers | davdumas is a dispatcher | |
| nomadic-labs/grafazos!22 GitLab CI pipeline | Review or approve | davdumas is assigned |
| Add a merge-team reviewer | davdumas is the original author | |
| Help add merge-team reviewers | davdumas is a dispatcher | |
| nomadic-labs/arvid-tezos!80 Test coverage impact 2: add some lib_clic tests | Merge | davdumas is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | davdumas is a dispatcher | |
| nomadic-labs/arvid-tezos!85 MR for test: Get coverage after merge | Merge | davdumas is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | davdumas is a dispatcher | |
| nomadic-labs/resto!15 add profiling information | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/lwt-exit!3 lwt_exit: Enhance warning message | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!59 Add specialized multisig source doc smart-contract verification | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/albert!25 [build|test] adding counter-examples and their related error logs | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!70 Certification of the specialised multisig smart-contract verification | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/albert!29 Increase coverage Doing priority::high test | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/resto!14 Add deprecation mechanism | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/tezos!190 nomadic-labs/tezos!190 p2p shell | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/ansible-tezos-source-role!19 Refactoring | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!39 Don't allow duplicate field names in an object bugfix | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!113 Replace String.string_dec by String.eqb in Dexter 2 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!240 nomadic-labs/tezos!240 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/ringo!14 Failing test, waiting for a fix | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/sapling-verification!21 Split Tree module in the F* Spec FStar IMTs | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!137 FA1.2 verification v2 formalisation | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!50 Test: add separate test suite to demonstrate bugs bugfix | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/sapling-verification!23 F* Sapling Spec: Write a detailed README IMTs | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!51 Binary_write: tailrec-ify write_rec | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/json-data-encoding!20 Json_encoding: Refactor `construct` API | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!358 nomadic-labs/tezos!358 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/monitoring-playbooks!14 major fix and changes. | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!59 Add encoding for Q (rationals as defined in Zarith) feature | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!60 Add bytes-as-string encoding feature technical-debt | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/json-data-encoding!25 Add @runtest_js | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!486 nomadic-labs/tezos!486 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!149 Kristina@ctez | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/umami-wallet/umami!678 open wert in browser | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/privacy-team!198 Lookups on continuous range | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!151 Fix #66 and #67 bug test | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/umami-wallet/umami!767 Implement rescript compiler | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!152 [README] fix broken link to Michelson spec | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/umami-wallet/umami!785 Git mv desktop source files in a separate directory | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!506 nomadic-labs/tezos!506 | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/mi-cho-coq!155 Adding support for 8.14 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/resto!34 Add query-param matching feature to ACL | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/lwt-exit!6 Add warning about binding global promises | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/umami-wallet/umami!809 Move taquito code to separate library | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!513 nomadic-labs/tezos!513 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/grafazos!20 Multinode dashboard | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/mezos!56 support for jakarta | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/data-encoding!88 `mu` now avoids the first unrolling | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/resto!39 v0.8 changes in CHANGES.md | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/json-data-encoding!33 Add optional object flag to custom encoding | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!521 nomadic-labs/tezos!521 p2p | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos!522 nomadic-labs/tezos!522 | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq | Help add merge-team reviewers | davdumas 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 | davdumas is a dispatcher |
| nomadic-labs/privacy-team!295 Plompiler: add Bounded module | Help add merge-team reviewers | davdumas is a dispatcher |
| nomadic-labs/tezos-lang-server!9 [WIP] Upgrade project to proto-010-PtGRANAD | Help add reviewers | davdumas is a dispatcher |
| nomadic-labs/privacy-team!266 Git: ignore more files | Help add reviewers | davdumas is a dispatcher |
