Skip to content
Create new pull request

Added terms for mine pits #503

Sign in to view logs

Added terms for mine pits

Added terms for mine pits #503

Triggered via issue February 3, 2025 20:20
@pbuttigiegpbuttigieg
commented on #1604 6c51446
Status Success
Total duration 11s
Artifacts –

ontobot.yml

on: issue_comment
check
2s
check
Matrix: build
Fit to window
Zoom out
Zoom in