Skip to content

Commit ed93733

Browse files
committed
Merge branch 'dkijania/remove_leaderboard' into dkijania/port_removing_leaderboard_dev
2 parents e9d723d + fa3c67d commit ed93733

39 files changed

+2
-2216
lines changed

flake.nix

+1-1
Original file line numberDiff line numberDiff line change
@@ -323,7 +323,7 @@
323323
granular = ocamlPackages.default;
324324
default = ocamlPackages.mina;
325325
inherit (pkgs)
326-
libp2p_helper kimchi_bindings_stubs snarky_js leaderboard validation
326+
libp2p_helper kimchi_bindings_stubs snarky_js validation
327327
trace-tool zkapp-cli;
328328
inherit (dockerImages)
329329
mina-image-slim mina-image-full mina-archive-image-full

frontend/leaderboard/.gitignore

-6
This file was deleted.

frontend/leaderboard/.npmignore

-6
This file was deleted.

frontend/leaderboard/Dockerfile

-16
This file was deleted.

frontend/leaderboard/README.md

-9
This file was deleted.

frontend/leaderboard/bsconfig.json

-19
This file was deleted.

frontend/leaderboard/helm/.helmignore

-22
This file was deleted.

frontend/leaderboard/helm/CHANGELOG.md

-10
This file was deleted.

frontend/leaderboard/helm/Chart.yaml

-21
This file was deleted.

frontend/leaderboard/helm/Makefile

-1
This file was deleted.

frontend/leaderboard/helm/README.md

-39
This file was deleted.

frontend/leaderboard/helm/templates/leaderboard-cron-job.yaml

-29
This file was deleted.

frontend/leaderboard/helm/values.yaml

-21
This file was deleted.

frontend/leaderboard/package.json

-22
This file was deleted.

frontend/leaderboard/src/Bindings.re

-80
This file was deleted.

0 commit comments

Comments
 (0)