-
Notifications
You must be signed in to change notification settings - Fork 548
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/compatible' into georgeee/fix-16…
…397-mini
- Loading branch information
Showing
595 changed files
with
19,786 additions
and
15,834 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
#!/bin/bash | ||
|
||
set -eo pipefail | ||
|
||
# Don't prompt for answers during apt-get install | ||
export DEBIAN_FRONTEND=noninteractive | ||
|
||
sudo apt-get update | ||
sudo apt-get install -y git apt-transport-https ca-certificates tzdata curl python3 | ||
|
||
TESTNET_NAME="berkeley" | ||
|
||
git config --global --add safe.directory /workdir | ||
source buildkite/scripts/export-git-env-vars.sh | ||
|
||
source buildkite/scripts/debian/install.sh "mina-test-suite,mina-$TESTNET_NAME" 1 | ||
|
||
pip3 install -r scripts/benchmarks/requirements.txt |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
#!/bin/bash | ||
|
||
set -eo pipefail | ||
|
||
source buildkite/scripts/bench/install.sh | ||
|
||
K=1 | ||
MAX_NUM_UPDATES=4 | ||
MIN_NUM_UPDATES=2 | ||
|
||
echo "-- Run Snark Transaction Profiler with parameters: --k ${K} --max-num-updates ${MAX_NUM_UPDATES} --min-num-updates ${MIN_NUM_UPDATES}" | ||
python3 ./scripts/benchmarks run --benchmark snark --k ${K} --max-num-updates ${MAX_NUM_UPDATES} --min-num-updates ${MIN_NUM_UPDATES} --outfile snark.out |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,9 @@ | ||
#!/bin/bash | ||
|
||
set -eo pipefail | ||
|
||
source buildkite/scripts/bench/install.sh | ||
|
||
python3 ./scripts/benchmarks run --benchmark zkapp --outfile zakpp-out | ||
|
||
python3 ./scripts/benchmarks run --benchmark heap-usage --outfile heap-usage.out |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,22 @@ | ||
#!/bin/bash | ||
|
||
set -eo pipefail | ||
|
||
# Don't prompt for answers during apt-get install | ||
export DEBIAN_FRONTEND=noninteractive | ||
|
||
sudo apt-get update | ||
sudo apt-get install -y git apt-transport-https ca-certificates tzdata curl python3 python3-pip wget | ||
|
||
git config --global --add safe.directory /workdir | ||
|
||
source buildkite/scripts/export-git-env-vars.sh | ||
|
||
source buildkite/scripts/debian/install.sh "mina-berkeley-instrumented" 1 | ||
|
||
echo "removing magic config files" | ||
sudo rm -f /var/lib/coda/config_* | ||
|
||
./scripts/tests/ledger_test_apply.sh \ | ||
--mina-app mina \ | ||
--runtime-ledger-app mina-create-genesis |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,96 @@ | ||
let PipelineMode = ../../Pipeline/Mode.dhall | ||
|
||
let PipelineTag = ../../Pipeline/Tag.dhall | ||
|
||
let Pipeline = ../../Pipeline/Dsl.dhall | ||
|
||
let JobSpec = ../../Pipeline/JobSpec.dhall | ||
|
||
let DebianVersions = ../../Constants/DebianVersions.dhall | ||
|
||
let RunInToolchain = ../../Command/RunInToolchain.dhall | ||
|
||
let Profiles = ../../Constants/Profiles.dhall | ||
|
||
let Command = ../../Command/Base.dhall | ||
|
||
let Docker = ../../Command/Docker/Type.dhall | ||
|
||
let Size = ../Size.dhall | ||
|
||
let Benchmarks = ../../Constants/Benchmarks.dhall | ||
|
||
let SelectFiles = ../../Lib/SelectFiles.dhall | ||
|
||
let Spec = | ||
{ Type = | ||
{ key : Text | ||
, bench : Text | ||
, label : Text | ||
, size : Size | ||
, name : Text | ||
, path : Text | ||
, mode : PipelineMode.Type | ||
, dependsOn : List Command.TaggedKey.Type | ||
, additionalDirtyWhen : List SelectFiles.Type | ||
, yellowThreshold : Double | ||
, redThreshold : Double | ||
} | ||
, default = | ||
{ mode = PipelineMode.Type.PullRequest | ||
, size = Size.Medium | ||
, dependsOn = | ||
DebianVersions.dependsOn | ||
DebianVersions.DebVersion.Bullseye | ||
Profiles.Type.Standard | ||
, additionalDirtyWhen = [] : List SelectFiles.Type | ||
, yellowThreshold = 0.1 | ||
, redThreshold = 0.2 | ||
} | ||
} | ||
|
||
let command | ||
: Spec.Type -> Command.Type | ||
= \(spec : Spec.Type) | ||
-> Command.build | ||
Command.Config::{ | ||
, commands = | ||
RunInToolchain.runInToolchain | ||
(Benchmarks.toEnvList Benchmarks.Type::{=}) | ||
"./buildkite/scripts/benchmarks.sh ${spec.bench} --red-threshold ${Double/show | ||
spec.redThreshold} --yellow-threshold ${Double/show | ||
spec.yellowThreshold}" | ||
, label = "Perf: ${spec.label}" | ||
, key = spec.key | ||
, target = spec.size | ||
, docker = None Docker.Type | ||
, depends_on = spec.dependsOn | ||
} | ||
|
||
let pipeline | ||
: Spec.Type -> Pipeline.Config.Type | ||
= \(spec : Spec.Type) | ||
-> Pipeline.Config::{ | ||
, spec = JobSpec::{ | ||
, dirtyWhen = | ||
[ SelectFiles.strictlyStart (SelectFiles.contains "src") | ||
, SelectFiles.exactly | ||
"buildkite/src/Command/Bench/Base" | ||
"dhall" | ||
, SelectFiles.contains "scripts/benchmark" | ||
, SelectFiles.contains "buildkite/scripts/benchmark" | ||
] | ||
# spec.additionalDirtyWhen | ||
, path = spec.path | ||
, name = spec.name | ||
, mode = spec.mode | ||
, tags = | ||
[ PipelineTag.Type.Long | ||
, PipelineTag.Type.Test | ||
, PipelineTag.Type.Stable | ||
] | ||
} | ||
, steps = [ command spec ] | ||
} | ||
|
||
in { command = command, pipeline = pipeline, Spec = Spec } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.