Updated on 2022-06-10 10:15:21 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Arvid Jakobsson's actions
(262)
| Resource | Action | Why |
|---|---|---|
| tezos/tezos#3186 Flake report 8/6/2022 type::incident CI ⚙ test ⚒ | Solve issue | arvidnl is assigned |
| tezos/tezos#2262 Script_typed_ir_test is flaky type::flake test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos!3357 Draft: Client/Multisig: normalize user-provided lambdas client 🏧 multisig state::blocked Blocking tezos/tezos#1638 Blocked by tezos/tezos#2513 | Unblock | arvidnl pushed recently |
| tezos/tezos!5443 scoru: add carbonated function cost for serializing internal inbox message and deserializing outbox message scoru Blocking tezos/tezos#2951 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5244 doc: The typo train doc 📖 Blocking tezos/tezos#2876 | Close or reply to thread | arvidnl is the thread author |
| tezos/tezos!5471 docker: Update rpc default address on config init Blocking tezos/tezos#2972 | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tezos!5538 Tezt: port test_contract_bls381_12.py to Tezt | Review or approve | arvidnl is assigned |
| Complete task | arvidnl is the original author | |
| tezos/tezos!5542 Tests/Coverage: Store coverage trace and render coverage html in tree form CI ⚙ test ⚒ tests::coverage | Review or approve | arvidnl is assigned |
| Complete task | arvidnl is the original author | |
| Add a merge-team reviewer | arvidnl is the original author | |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tezos!5402 CI: fix Tezos Docker image labels (OCI standard) CI ⚙ ci--docker Release Process Crew | Close or reply to thread | arvidnl is the thread author |
| tezos/tezos!5376 Port test_rpc.py to Tezt: the rest Code quality 🌟 rpc ☎ test ⚒ tests::tezt | Complete task | arvidnl is the original author |
| tezos/tezos#743 Various improvements to "Tezos contributor's testing guide" doc 📖 test ⚒ tests::documentation | Complete task | arvidnl is assigned |
| tezos/tezos#2898 avoid supply-chain attacks in doc testing (Follow-up from "doc: check installed Octez executables") CI ⚙ ci--docs doc 📖 | Complete task | arvidnl is assigned |
| tezos/tezos#1072 Follow-up from "Proto: Use saturated arithmetic to represent gas": Coq-of-ocaml / Property-based testing of `saturation_repr.ml` coq-of-ocaml 🐔 proto test ⚒ tests::crowbar | Complete task | arvidnl is assigned |
| tezos/tezos#2948 Follow-up from "Draft: Add regression tests for logging machinery in Michelson interpreter" : common storage for michelson test contracts | Complete task | arvidnl is assigned |
| tezos/tezos#968 Follow-up from "Tests: unskip existing RPC + refactoring" rpc ☎ test ⚒ tests::pytest | Complete task | arvidnl is assigned |
| tezos/tezos#1022 Rewrite `scripts/update_integration_test.sh` in python test ⚒ tests::CI tooling | Complete task | arvidnl is assigned |
| tezos/tezos#1494 Follow-up from "Docs/Michelson: Add Michelson ott formalization" doc 📖 michelson ⚗ state::to-do triage::level2 | Complete task | arvidnl is assigned |
| tezos/tezos#1497 Follow-up from "Lib_benchmark: Build tezos-benchmark-alpha with Dune 2.0": use `tests` stanza and clean up rules build system test ⚒ triage::level2 | Complete task | arvidnl is assigned |
| tezos/tezos#1969 Make a `Node.wait_for_connections` Code quality 🌟 test ⚒ tests::tezt | Complete task | arvidnl is assigned |
| tezos/tezos#2146 CI: re-organize configuration along the line of "pipeline types" CI ⚙ Code quality 🌟 | Complete task | arvidnl is assigned |
| tezos/tezos#2546 Follow-up from "Tezt: help to remove unused regression output files" tests::tezt triage::level2 | Complete task | arvidnl is assigned |
| tezos/tezos#2562 Follow-up from "Draft: Tezt: add `--retry`" test ⚒ tests::tezt | Complete task | arvidnl is assigned |
| tezos/tezos#2592 Follow-up from "Draft: Proto, Tx_rollup: layer2 implementation of layer2-to-layer1 withdrawal" -- better generators for tickets | Complete task | arvidnl is assigned |
| tezos/tezos#2624 Rework the names of the Tx_rollup_state_repr pointers toru::layer1 | Complete task | arvidnl is assigned |
| tezos/tezos#2626 Follow-up from "Draft: Proto, Tx_rollup: add withdraw operation to layer-1" -- handle malicious/large offsets to withdrawal_accounting toru::layer1 | Complete task | arvidnl is assigned |
| tezos/tezos#2627 Follow-up from "Draft: Proto, Tx_rollup: add withdraw operation to layer-1" -- use int32 for message index toru::layer1 | Complete task | arvidnl is assigned |
| tezos/tezos#2949 Follow-up from "Draft: Add regression tests for logging machinery in Michelson interpreter" : instrument tests as well test ⚒ tests::coverage | Complete task | arvidnl is assigned |
| tezos/tezos#1539 Add dune linter state::to-do tooling triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#705 Python_tests: improve contract directory structure CI ⚙ good beginner task 🍼 priority::low test ⚒ tests::pytest | Solve issue | arvidnl is assigned |
| tezos/tezos#779 Test: python framework - check python version from within tests Nice to have 👶 python 🐍 test ⚒ tests::pytest triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#954 Small fixes to tests in lib_shell shell test ⚒ | Solve issue | arvidnl is assigned |
| tezos/tezos#1077 Add visualization of elements hidden by DIP to emacs mode emacs michelson ⚗ type::feature | Solve issue | arvidnl is assigned |
| tezos/tezos#1114 Activate protocol consistently in Python tests python 🐍 | Solve issue | arvidnl is assigned |
| tezos/tezos#1209 Extend property-based testing of modules satisfying array theory test ⚒ tests::crowbar | Solve issue | arvidnl is assigned |
| tezos/tezos#1248 Add `bisect_ppx` to `build-dev-deps` test ⚒ tests::coverage | Solve issue | arvidnl is assigned |
| tezos/tezos#1344 Flaky test: integration:alpha_legacy_snapshots python 🐍 test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#1529 Investigate crashes in bisect_ppx state::to-do test ⚒ tests::coverage tooling triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#1977 Regression tests for the GC allocation policy test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2040 Make sure protocol unit tests are not forgotten in GitLab CI configuration CI ⚙ test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2302 CI: Remove retries for opam tests once their flakiness is fixed CI ⚙ test ⚒ | Solve issue | arvidnl is assigned |
| tezos/tezos#2399 Rename `unit:proto_alpha` to something more appropriate test ⚒ tests::CI | Solve issue | arvidnl is assigned |
| tezos/tezos#2443 More tezt tests for set_deposits_limit proto test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2519 Change test_voting_full.py constant parameters after snapshotting protocol J good beginner task 🍼 tests::pytest | Solve issue | arvidnl is assigned |
| tezos/tezos#2538 Add accuser back to `protocol_override` test in `voting.ml` test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2555 tezos-client transfer --force still fails when simulation fails client 🏧 triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2559 SCORU: Add test checking that L2 nodes can catch up test ⚒ triage::level2 | Solve issue | arvidnl is assigned |
| tezos/tezos#2585 No coverage for `token.ml` ? | Solve issue | arvidnl is assigned |
| tezos/tezos#2712 Follow-up from "Proto/test/toru/pbt: hard-code two bls keys and reduce count" -- make generators more dynamic | Solve issue | arvidnl is assigned |
| tezos/tezos#2767 Tune QCheck distribution of saturation arithmetic integers to only considered saturated cases as cornercases | Solve issue | arvidnl is assigned |
| tezos/tezos#2867 Should we maintain a replacement for `examples/forge_transfer.py`? Nice to have 👶 python 🐍 | Solve issue | arvidnl is assigned |
| tezos/tezos#3018 Upgrade Alcotest and reduce verbosity in the CI | Solve issue | arvidnl is assigned |
| tezos/tezos#3190 RFC: reduce the number of runned opam CI jobs | Solve issue | arvidnl is assigned |
| tezos/tezos!4936 Add docs about merkle-proof encoding formats doc-only | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5064 Updating Randomness - VDF crypto security | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5168 Proto: prepare `per_block_vote` to allow multiple toggle votes proto | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5372 Proto: Warning when attempting to delegate from an unrevealed key bad UX 🍎 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5456 Proto: allow bakers to set a consensus key (part 2/4 : `Drain_delegate`) | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5457 Proto: allow bakers to set a consensus key (part 3/4 : toggle vote) | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!5500 p2p: Fix signature of Metadata.write in p2p_socket p2p 🌐 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos!4662 Proto,Tx_rollup: Pre-rejections toru::layer1+2 | Help add reviewers | arvidnl is a dispatcher |
| tezos/tezos!5467 Backport irmin.3.2.2 to v13-release | Help add reviewers | arvidnl is a dispatcher |
| tezos/tezos#1124 Make it easier to inspect the storage of contracts containing big_maps client 🏧 michelson ⚗ triage::level2 type::feature | Complete task | arvidnl opened issue and no one is assigned |
| tezos/tezos#725 Document our usage of alcotest doc 📖 test ⚒ tests::alcotest triage::level2 | Complete task | arvidnl opened issue and no one is assigned |
| tezos/tezos#902 Integrating non-deterministic property-based testing in the CI test ⚒ tests::crowbar triage::level2 | Complete task | arvidnl opened issue and no one is assigned |
| tezos/tezos#1728 Remove the need to patch src/bin_node/node_config.ml with `scripts/user_activated_upgrade.sh` proto tooling triage::level2 | Complete task | arvidnl opened issue and no one is assigned |
| tezos/tezos#697 Generate urls for specific commands in the HTML documentation generated by clic doc 📖 triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/opam-repository#1 Use virtual packages to improve detection of dune/opam incoherencies | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#707 Michelson: Unhelpful error message when typechecking set with uncomparable type parameter michelson ⚗ proto triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#715 Error in verbose typechecking output from tezos-client for contracts using CREATE_CONTRACT client 🏧 michelson ⚗ minor triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#723 Issues in worker_loop in lib_requester shell triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#1549 Facilitate interaction with custom multisig contracts client 🏧 triage::level2 type::feature | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#1821 CI: It should be possible to manually trigger pipelines CI ⚙ triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos#1978 CI: Investigate utility of cache for tests CI ⚙ triage::level2 | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tezos!5171 Draft: Docs/MR process: precise the role of the Draft state doc 📖 doc-only | Reply to thread | arvidnl is the original author |
| Reply to thread | arvidnl is the original author | |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/tezos!5526 Draft: Block validator: log validation times logging shell validation | Reply to thread | arvidnl is the original author |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/tezos!4837 Draft: Tezt: self test the option --on-unknown-regression-files ci--opam test ⚒ tests::tezt | Fix CI | arvidnl is the original author and triggered last pipeline |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/tezos!5448 Draft: protocol_compiler: disable warnings 16 and 68 + fix error message hash order build system CI ⚙ test ⚒ | Fix CI | arvidnl is the original author and triggered last pipeline |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/tezos!5540 Draft: Arvid@remove py ecc python 🐍 test ⚒ | Fix CI | arvidnl is the original author and triggered last pipeline |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/tezos!5463 Draft: CI: run [make build-dev-deps] when [scripts/version.sh] or the script is changed CI ⚙ | Close or reply to thread | arvidnl is the thread author |
| tezos/tezos!1721 Draft: Replace static Michelson reference with interactive reference doc 📖 michelson ⚗ | Reply to thread | arvidnl is the original author |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Reply to thread | arvidnl is the original author | |
| Complete task | arvidnl is the original author | |
| UnWIP | arvidnl is the original author | |
| tezos/opam-repository!316 Draft: Remove py_ecc python | UnWIP | arvidnl is the original author |
| tezos/tezos#680 Meta-issue: Improve test suite test ⚒ triage::level2 type::meta | Meta issue | arvidnl opened issue and no one is assigned |
| oxheadalpha/merbocop#18 Invite merbocop to other projects? | Solve issue | arvidnl opened issue and no one is assigned |
| oxheadalpha/merbocop#19 Link to artifacts feature-request | Solve issue | arvidnl opened issue and no one is assigned |
| arvidnl/tezos_coredev_dashboard#15 Optimize storage usage | Solve issue | arvidnl is assigned |
| arvidnl/tezos_coredev_dashboard#28 Display milestones Workflow | Solve issue | arvidnl is assigned |
| arvidnl/tezos_coredev_dashboard#30 Ignore Reviewers field, take into account Assignee field Workflow | Solve issue | arvidnl is assigned |
| arvidnl/tezos_coredev_dashboard#31 Don't indicate resolved threads as "Close or reply to thread" Workflow | Solve issue | arvidnl is assigned |
| arvidnl/tezos_coredev_dashboard!44 Add front draft | Help add merge-team reviewers | arvidnl is a dispatcher |
| arvidnl/tezos_coredev_dashboard#19 Add Protocol shepard role : for e.g. handling critical bug issues in protocol Workflow | Solve issue | arvidnl opened issue and no one is assigned |
| arvidnl/tezos_coredev_dashboard#32 Add page listing MRs waiting for review | Solve issue | arvidnl opened issue and no one is assigned |
| arvidnl/tezos_merge_team_scripts!1 Do a renaming that was forgotten in the last streak | Help add merge-team reviewers | arvidnl is a dispatcher |
| nomadic-labs/tezos#194 nomadic-labs/tezos#194 priority::high type::bug ddb p2p shell tests | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#41 Add a `modified-in` field to types and instructions priority::high reference reference-schema | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#58 Make sure michelson reference is up-to-date with latest version of the static documentation priority::high coherency difficulty::medium reference | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#14 Document RENAME and CAST priority::high coherency difficulty::easy reference | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#12 Update documentation guidelines to make sure that new instructions are documented priority::high difficulty::easy integration | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#27 Replace existing rst reference with this reference priority::high coherency | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/tezos#67 nomadic-labs/tezos#67 priority::high ddb tests type::meta | Meta issue task | arvidnl is assigned |
| tezos/michelson-reference#3 Suggestions on semantics and values priority::medium output reference | Complete task | arvidnl is assigned |
| tezos/michelson-reference#37 Follow-up from "Re-organization 3/3: Add documentation tests": add contract literals priority::medium difficulty::easy reference | Complete task | arvidnl is assigned |
| tezos/michelson-reference#59 Restructure the reference priority::medium difficulty::medium | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#19 Verify that documented instructions = all instructions priority::medium coherency difficulty::medium | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#47 Some follow-ups from Edo update priority::low difficulty::medium documentation output reference | Complete task | arvidnl is assigned |
| tezos/michelson-reference#43 A more modular meta-data file `michelson-meta.yaml` priority::low reference-schema | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#44 Schema: separate instructions / types per protocols priority::low nice to have reference-schema | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#52 Add examples from TZT suite priority::low difficulty::medium output test | Solve issue | arvidnl is assigned |
| tezos/michelson-reference#7 Add more example contracts priority::low reference | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#13 Document annotations priority::low coherency reference | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#22 Document macros priority::low feature reference reference-schema | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#63 Move the enumeration and description of type attributes to the meta data file priority::low difficulty::medium output reference reference-schema | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq!118 Arvid@dexter lemmas and refactorings Blocking nomadic-labs/mi-cho-coq!100 | Reply to thread | arvidnl is the original author |
| Add a merge-team reviewer | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq#47 Verify Dexter/CPMM smart-contract verification Blocking nomadic-labs/mi-cho-coq#56 | Solve issue | arvidnl is assigned |
| tezos/tzip!98 Undeprecate TZIP-5 Blocking tezos/tzip!99 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!163 TZIP-023 FA2.1Transfer and call | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!178 Add new tzip draft: testnet admin key | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!180 Transfer memo proposal | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!181 New TZIP draft: consensus key | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!182 Update .metrics-dashboard.yml | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!183 New TZIP draft: string signing | Help add merge-team reviewers | arvidnl is a dispatcher |
| nomadic-labs/tezos!513 nomadic-labs/tezos!513 | Fix CI | arvidnl is the original author and triggered last pipeline |
| Add a merge-team reviewer | arvidnl is the original author | |
| tezos/tzip!64 [#20] update ManagedLedger implementation FA1.2 | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tzip!116 update *draft-carbonated-storage-cache* | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tzip!118 add Custom Decoder | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tzip!120 Check transactions in last `k` blocks | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/tzip!184 Add ttl field to TZIP-021 | Merge | arvidnl is a dispatcher and there is no merge-team reviewer |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Close or reply to thread | arvidnl is the thread author |
| nomadic-labs/mi-cho-coq!62 Functional proof of guestbook contract and simple lifetime property smart-contract verification | Reply to thread | arvidnl is the original author |
| Add a merge-team reviewer | arvidnl is the original author | |
| tezos/michelson-reference!64 Fix backwards cycling through search results output | Fix CI | arvidnl is the original author and triggered last pipeline |
| Add a merge-team reviewer | arvidnl is the original author | |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/michelson-reference!63 Clarification on the representation of newlines in concrete strings reference | Fix CI | arvidnl is the original author and triggered last pipeline |
| Add a merge-team reviewer | arvidnl is the original author | |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| tezos/michelson-reference!62 Formatting fixes for SET_DELEGATE instruction reference | Fix CI | arvidnl is the original author and triggered last pipeline |
| Add a merge-team reviewer | arvidnl is the original author | |
| Help add merge-team reviewers | arvidnl is a dispatcher | |
| nomadic-labs/tezos!486 nomadic-labs/tezos!486 | Fix CI | arvidnl is the original author and triggered last pipeline |
| Add a merge-team reviewer | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!100 Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5) dexter2 smart-contract verification Blocked by nomadic-labs/mi-cho-coq!118 | Unblock | arvidnl is the original author |
| nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Add a merge-team reviewer | arvidnl pushed recently |
| nomadic-labs/arvid-tezos!80 Test coverage impact 2: add some lib_clic tests | Add a merge-team reviewer | arvidnl is the original author |
| nomadic-labs/arvid-tezos!85 MR for test: Get coverage after merge | Add a merge-team reviewer | arvidnl is the original author |
| nomadic-labs/tezos#312 nomadic-labs/tezos#312 Code quality 🌞 documentation michelson | Complete task | arvidnl is assigned |
| nomadic-labs/tezos#498 nomadic-labs/tezos#498 formal-tools | Complete task | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#51 Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5) smart-contract verification | Complete task | arvidnl is assigned |
| nomadic-labs/tezos#349 nomadic-labs/tezos#349 tests | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#2 nomadic-labs/mi-cho-coq#2 Todo | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#20 Verify the dexter contract Doing smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/albert#9 Improve error messages compiler enhancement ui | Solve issue | arvidnl is assigned |
| nomadic-labs/albert#16 Extend test suite test | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#145 nomadic-labs/tezos#145 CI priority::low tests | Solve issue | arvidnl is assigned |
| nomadic-labs/albert#22 CI reminder to mirror opam file in `coq-opam-archive` ci packaging | Solve issue | arvidnl is assigned |
| nomadic-labs/albert#23 Exclude non-Albert ML files from coverage report packaging test | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#185 nomadic-labs/tezos#185 Tooling | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#195 nomadic-labs/tezos#195 documentation | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#220 nomadic-labs/tezos#220 documentation michelson | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#40 Formalize the FA1.2 specification and verify an implementation formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#237 nomadic-labs/tezos#237 documentation | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#264 nomadic-labs/tezos#264 rpc tests | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#273 nomadic-labs/tezos#273 documentation tests | Solve issue | arvidnl is assigned |
| nomadic-labs/albert#26 Track and publish coverage test | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#300 nomadic-labs/tezos#300 Tooling | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#45 Formalize the FA2 specification and verify implementations formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#46 Specify and verify Dexter/FA2 formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#336 nomadic-labs/tezos#336 type::meta | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#339 nomadic-labs/tezos#339 tests type::meta | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#343 nomadic-labs/tezos#343 tests | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#350 nomadic-labs/tezos#350 tests | Solve issue | arvidnl is assigned |
| nomadic-labs/tezos#613 nomadic-labs/tezos#613 tests type::meta | Solve issue | arvidnl is assigned |
| tezos/tzip!179 On-chain events | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!35 Update TZIP-8 for babylon | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!109 Update directories and files to reflect tzip-xxx scheme | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!111 add draft for DFS | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!138 Ignoring annotations | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!143 Clarify the prefix used for `extras` in TZIP-16 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!144 Defer TZIP-012's Description of Interfaces to TZIP-016 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!165 TZIP-024: Off-Chain Claims | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos-codec-compiler!2 Compiler: improve generation of test suites testing | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!171 Meta: README: Add links to TZIP-1 and 2 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tezos-rust-libs!8 Remove rustc bls12 381 | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/michelson-reference!65 fix typing rule for PUSH | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!174 TZIP-25: QR Data Transmission Standard | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/tzip!177 Add draft for Parameter Signaling | Help add merge-team reviewers | arvidnl is a dispatcher |
| tezos/docker-images/ci-package!2 Add Dockerfiles for ubuntu and fedora packaging | Help add merge-team reviewers | arvidnl is a dispatcher |
| nomadic-labs/resto#7 More documentation | Complete task | arvidnl opened issue and no one is assigned |
| nomadic-labs/tezos#39 nomadic-labs/tezos#39 | Complete task | arvidnl opened issue and no one is assigned |
| nomadic-labs/tezos-lang-server#1 Make `storage` parameter of typecheck API endpoint optional | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#24 Modelize the blockchain and lifetime properties of contracts Doing | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#41 More lemmas for smart contract verification | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/tezos#263 nomadic-labs/tezos#263 Monitoring tests | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#48 Describe vesting contract in README when dev is merged into master | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#50 Make the CI Great Again -- brainstorming on how to improve the current situation ci | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tzip#54 TZIP-7: Should getAllowance return 0 for non-existing accounts? | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/tzip#55 TZIP-5: What should happen in FA1 transfer if the from account does not exist? | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#52 Make it easier to correlate smart contract verification developments with contract scripts | Solve issue | arvidnl opened issue and no one is assigned |
| tezos/michelson-reference#54 Move ott / yaml to tezos/tezos integration | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/marge-bot#5 Small marge-bot waiting for the CI optimization | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq!99 Draft: [dexter/fa2] add a hackish version of fa2 def/spec smart-contract verification | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!124 Draft: Adapt Dexter2 proofs for CPMM2 dexter2 smart-contract verification | Complete task | arvidnl is the original author |
| UnWIP | arvidnl is the original author | |
| tezos/michelson-reference!44 Draft: Add `modified-in` field for instructions and types reference-schema | Reply to thread | arvidnl is the original author |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/tezos!475 nomadic-labs/tezos!475 | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/tezos!477 nomadic-labs/tezos!477 | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/tezos!476 nomadic-labs/tezos!476 | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/tezos!483 nomadic-labs/tezos!483 | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!121 Draft: Arvid@re organize contracts coq | Complete task | arvidnl is the original author |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!95 Draft: Dexter/CPMM verification smart-contract verification | UnWIP | arvidnl is the original author |
| nomadic-labs/mi-cho-coq!119 Draft: [ci] add cache opam directory ci | UnWIP | arvidnl is the original author |
| nomadic-labs/arvid-tezos!89 Draft: Test MR with disabled coverage ci--no-coverage | UnWIP | arvidnl is the original author |
| nomadic-labs/tezos!505 nomadic-labs/tezos!505 | UnWIP | arvidnl is the original author |
| nomadic-labs/tezos#222 nomadic-labs/tezos#222 tests | Meta issue task | arvidnl is assigned |
| nomadic-labs/tezos#64 nomadic-labs/tezos#64 tests type::meta | Meta issue | arvidnl is assigned |
