Update dependency: deps/k_release #2600

rv-jenkins · 2021-05-05T22:03:45Z

No description provided.

…work_k

github-actions · 2021-05-06T19:15:38Z

name	diff_allocated_bytes	diff_max_live_bytes
test/regression-evm/test-sumTo10.sh	0.000000	-0.028045
test/regression-evm/test-add0.sh	0.000000	0
test/regression-evm/test-straight-line-no-invalid.sh	0.000001	-0.000036
test/regression-evm/test-pop1.sh	0.000000	-0.000038
test/regression-evm/test-straight-line.sh	-0.000009	-0.000038
test/regression-evm/test-branching-invalid.sh	-0.000001	-0.000000
test/regression-evm/test-branching-no-invalid.sh	0.000000	-0.000037
test/regression-evm/test-sum-to-n.sh	0.000003	-0.000103
test/regression-wasm/test-loops.sh	-0.000099	-0.000001
test/regression-wasm/test-wrc20.sh	0.000006	0.025459
test/regression-wasm/test-simple-arithmetic.sh	-0.000004	0.000000
test/regression-wasm/test-memory.sh	-0.000004	0
test/regression-wasm/test-locals.sh	-0.000017	0.000003

deps/k_release: v5.1.13

05aac51

rv-jenkins assigned ttuegel May 5, 2021

rv-jenkins added the automerge label May 5, 2021

rv-jenkins requested a review from ttuegel May 5, 2021 22:03

ttuegel approved these changes May 6, 2021

View reviewed changes

rv-jenkins added 3 commits May 6, 2021 08:49

Merge branch 'master' into _update-deps_kframework_k

6e7b9d7

Merge remote-tracking branch 'origin/master' into _update-deps_kframe…

02e1710

…work_k

deps/k_release: v5.1.14

44de2d7

rv-jenkins merged commit 0362cce into master May 6, 2021

rv-jenkins deleted the _update-deps_kframework_k branch May 6, 2021 19:49

Provide feedback