dice-group / dice-group/gerbil

The link to gerbil_data.zip has to be manually updated in Github actions

Open
#445 0 comments 0 reactions 0 assignees View on GitHub
priority:medium type:enhancement
Dominant language
Java
Stars
231
Forks
55
PR merge metrics
No merged PRs in 30d

Description

# Problem

The github action script uses a hard-coded link to access the gerbil_data.zip file. This link has to be updated manually. However, this creates additional work and makes the action performing the download in a different way than most users.

# Solution

- [ ] extend the start script with a command line option that skips the download of indexes
- [ ] make use of the start script instead of the hard-coded download in the github action

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.