GithubHelp home page GithubHelp logo

VisualCamkes test about ci-actions HOT 1 OPEN

sel4 avatar sel4 commented on July 18, 2024
VisualCamkes test

from ci-actions.

Comments (1)

lsf37 avatar lsf37 commented on July 18, 2024

The most relevant bits from the old Bamboo config-as-code for VisualCamkes tests:

public class VisualCamkes {
  private Stage addTestStage() {
    Job job = new Job("Test VisualCAmkES", new BambooKey("JOB1"));
    job = CommonStages.addCodeUnTarToJob(job);
    job.tasks(
        new ScriptTask()
            .description("run test")
            .interpreter(ScriptTaskProperties.Interpreter.BINSH_OR_CMDEXE)
            .inlineBody("xvfb-run python tools/camkes/camkes/visualCAmkES/test.py"));
    job = CommonStages.runInDocker(job, "trustworthysystems/camkes-vis");
    job = CommonStages.addElasticKernelRequirement(job);

    return new Stage("Test").jobs(job);
  }

  public Plan configurePlan(Plan plan) {
    plan.stages(new CodeFetcherBuilder().build().getCodeFetchingStage(), addTestStage())
        .linkedRepositories("camkes-manifest", "camkes-tool");

    return plan;
  }
}

This mainly gives you the command line for invoking the test, the repositories that are needed (camkes-manifest) and the docker image the test expects to run in camkes-vis.

The tests have been broken for a while, so the first order of business would be to make them pass again.

from ci-actions.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.