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

@colin.gColin González's actions (9)

Resource Action Why
tezos/tezos!5194
Draft: Proto: add a fixpoint instruction
michelson ⚗ proto
Close or reply to thread colin.g is the thread author
Reply to thread colin.g is the original author
Reply to thread colin.g is the original author
Reply to thread colin.g is the original author
Reply to thread colin.g is the original author
Reply to thread colin.g is the original author
UnWIP colin.g is the original author
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification
Add a merge-team reviewer colin.g pushed recently
nomadic-labs/mi-cho-coq#51
Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)
smart-contract verification
Complete task colin.g is assigned

Repositories

Mnomadic-labs/mi-cho-coq

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