the-draupnir-project/Draupnir
View on GitHubDocker image with `develop` tag seems to consistently describe the wrong version
Open
#232 opened on Feb 1, 2024
L2 FewP1 NuisanceT3 Workflow Issuebugdevelopment specifichelp wantedneeds investigation
Repository metrics
- Stars
- (239 stars)
- PR merge metrics
- (PR metrics pending)
Description
Not sure what git trickery is required to make it right.