robur
/
builder-web
5
0
Fork 0
Code Issues 20 Pull Requests 7 Releases Activity
Labels Milestones
New Pull Request
7 Open 77 Closed
Close
Label
Milestone
No milestone
REST API
Projects
No project
Assignee
No assignee
hannes
joe
reynir
rand
dinosaure
  • treat mirage (>=4.2.0) unikernels as unikernels, since they have x-mirage-opam-lock-location in the opam file
    #154 opened 1 month ago by hannes
    main
    infer-mirage4
    1
  • WIP: Performance-test scripts: upload-hook and plot
    #152 opened 2 months ago by rand
    main
    20221220_perftest_hook_and_plot-generation
  • Visualization script enhancements
    #136 opened 5 months ago by reynir
    main
    viz-script-fixes
  • A form on job-page for filtering platforms
    #132 opened 6 months ago by rand
    main
    20220803_adding_platform_filter_to_job_page
  • test/Router: Adding tests for hardcoded links present in Albatross and Builder
    #131 opened 6 months ago by rand
    main
    20220802_test_hardcoded_links_in_albatross_and_builder
    2
  • Removed usage of Dream.path, and implemented 'get_postfix_target' as alternative
    #128 opened 7 months ago by rand
    main
    20220628_removing_dream-path_calls
    1 conflicting file
    1
  • [WIP]: Use conan instead of magic-mime package
    #125 opened 8 months ago by dinosaure
    main
    conan