{
    "ProjectName" : "FStar",

    "BaseContainerIsEverestImage" : true,
    "BaseContainerImageName" : "everest-ci",
    "BaseContainerImageTagOrCommitId": "latest",
    "BranchName" : "master",
    "GithubCommitUrl" : "https://github.com/project-everest/everest-ci/commit",
    "OnDemandBuildDefinition" : "Infrastructure\\Everest-Infrastructure-{agentOS}",

    "DockerFile": ".docker/build/{agentOS}/Dockerfile",
    "DependencyFiles" : [
        ".docker/build/build_helper.sh",
        ".docker/build/build_funs.sh",
        ".docker/build/build.sh"
    ],

    "DockerCacheEnabled" : true,
    "CIBuildTarget" : "uregressions",
    "NightlyBuildTarget" : "uregressions-ulong",
    "HasLogsToExtract" : true,

    "NotificationEnabled" : true,
    "NotificationChannel" : "#fstar-build",
    "PublicBranches" : [ "master" ],

    "CompressBuildFolder": true,
    "FolderToCompress" : "FStar",
    "FoldersToExclude" : [ ],

    "TrackPerformance" : false,

    "RepoVersions" : {
        "hacl_version" : "origin/master",
        "karamel_version" : "origin/wasm-2.0.0",
        "everparse_version" : "origin/master",
        "mitls_version" : "origin/master"
    }
}

{
    "ProjectName" : "FStar",

    "BaseContainerIsEverestImage" : true,
    "BaseContainerImageName" : "everest-ci",
    "BaseContainerImageTagOrCommitId": "latest",
    "BranchName" : "master",
    "GithubCommitUrl" : "https://github.com/project-everest/everest-ci/commit",
    "OnDemandBuildDefinition" : "Infrastructure\\Everest-Infrastructure-{agentOS}",

    "DockerFile": ".docker/build/{agentOS}/Dockerfile",
    "DependencyFiles" : [
        ".docker/build/build_helper.sh",
        ".docker/build/build_funs.sh",
        ".docker/build/build.sh"
    ],

    "DockerCacheEnabled" : true,
    "CIBuildTarget" : "uregressions",
    "NightlyBuildTarget" : "uregressions-ulong",
    "HasLogsToExtract" : true,

    "NotificationEnabled" : true,
    "NotificationChannel" : "#fstar-build",
    "PublicBranches" : [ "master" ],

    "CompressBuildFolder": true,
    "FolderToCompress" : "FStar",
    "FoldersToExclude" : [ ],

    "TrackPerformance" : false,

    "RepoVersions" : {
        "hacl_version" : "origin/master",
        "karamel_version" : "origin/master",
        "everparse_version" : "origin/master",
        "mitls_version" : "origin/master"
    }
}

Revert "(TEMP) use Karamel branch wasm-2.0.0"
Revert "(TEMP) use Karamel branch wasm-2.0.0"

This reverts commit 5214f2e93a8061db9b89fb722e7023662fd61872.
