Revision d616c833101147cd6785e686fadcc0b986d7fe99 authored by Rodi-Can Bozman on 09 January 2024, 16:27:33 UTC, committed by Marge Bot on 12 January 2024, 06:59:59 UTC
I removed unmark_deletion as given the definition of this function and the context of this MR it doesn't seem relevant anymore.
1 parent 0de5a62
File | Mode | Size |
---|---|---|
.cargo | ||
.github | ||
.gitlab | ||
LICENSES | ||
_coverage_output | ||
contrib | ||
devtools | ||
docs | ||
emacs | ||
etherlink | ||
irmin | ||
manifest | ||
michelson_test_scripts | ||
nix | ||
opam | ||
script-inputs | ||
scripts | ||
src | ||
tezt | ||
tzt_reference_test_suite | ||
vendors | ||
.dockerignore | -rw-r--r-- | 2.1 KB |
.gitattributes | -rw-r--r-- | 369 bytes |
.gitignore | -rw-r--r-- | 2.8 KB |
.gitlab-ci.yml | -rw-r--r-- | 9.2 KB |
.npmrc | -rw-r--r-- | 62 bytes |
.ocamlformat | -rw-r--r-- | 388 bytes |
.pre-commit-config.yaml | -rw-r--r-- | 258 bytes |
.pylintrc | -rw-r--r-- | 15.2 KB |
CHANGES.rst | -rw-r--r-- | 3.3 KB |
CODEOWNERS | -rw-r--r-- | 4.8 KB |
Dockerfile | -rw-r--r-- | 4.5 KB |
Makefile | -rw-r--r-- | 19.3 KB |
README.md | -rw-r--r-- | 3.5 KB |
build.Dockerfile | -rw-r--r-- | 3.4 KB |
contributing.md | -rw-r--r-- | 2.2 KB |
default.nix | -rw-r--r-- | 3.3 KB |
dune | -rw-r--r-- | 903 bytes |
dune-project | -rw-r--r-- | 6.2 KB |
dune-workspace | -rw-r--r-- | 509 bytes |
kernels.mk | -rw-r--r-- | 5.7 KB |
package-lock.json | -rw-r--r-- | 1.3 KB |
package.json | -rw-r--r-- | 376 bytes |
poetry.lock | -rw-r--r-- | 59.5 KB |
pyproject.toml | -rw-r--r-- | 1.0 KB |
rust-toolchain | -rw-r--r-- | 7 bytes |
shell.nix | -rw-r--r-- | 3.7 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...