← 输入框|github.com|刷新
Skip to content

Tie generate-meta-inf.sh to build #132

Open
Open
Tie generate-meta-inf.sh to build#132
Labels
enhancement
Milestone
unscheduled

Description

@hinerm
hinerm
opened on Sep 14, 2023

This script is required for use in non-JPMS runtimes. Currently it has to be run manually.

At the least it should run on CI for any artifacts deployed to Maven.

Activity

  1. hinerm
    added
    enhancement
    on Sep 14, 2023
  2. hinerm
    added this to SciJava Ops Paper #2: Polygloton Sep 14, 2023
  3. hinerm
    added this to the unscheduled milestone on Sep 26, 2023
  4. ctrueden
    added a commit that references this issue on May 2, 2024

    Merge pull request #132 from scijava/scijava-ops-api/history-hint

    f5ea08e
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancement

    Type

    No type

    Projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions