Skip to content

Epic: Q3 2023 Wishlist & Roadmap #4

@haochenx

Description

@haochenx

Q3 2023 Wishlist & Roadmap

Planned

Unplanned

  • GitHub Pages support
    • odoc support
      • basic odoc support
      • streamline usage of @doc-private
      • allow specifying alternative odoc site path
  • coverage (i.e. bisect_ppx) support
  • perf benchmark support
  • dune fmt support
    • initial support (check only)
    • separate ci check report item
    • auto promote?
      • create branch + pr?
      • directly push?
  • generated resource check
    • initial support
    • separate ci check report item
    • multi config, config items:
      • dune profile
      • build target (dir) & alias(es)
      • --build_dir
      • diff directory
    • auto promote?
      • create branch + pr?
      • directly push?
  • GitHub GUI Reporting
    • better docker image variation display
    • collapse long test result
    • colorize test result
    • consolidate test result report for variants
    • opam "relock" diff
  • Local Execution Support
    • decouple configuration from GitHub Actions
    • provide utilities for local execution (i.e. (almost eqv.) spin adequate docker containers)
  • Customization of ocaml-general images
  • Internal Technical Improvements
    • stop copying docker-build-context/ to each one of generated/dockerfiles/*

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions