Skip to content

Merge pull request #6 from protegeproject/github-workflow #13

Merge pull request #6 from protegeproject/github-workflow

Merge pull request #6 from protegeproject/github-workflow #13

Annotations

1 warning

build

succeeded Dec 30, 2024 in 28s