Back to pull request #61

Purge redundant misc lemmas #524

Sign in to view logs

Triggered via pull request August 3, 2023 13:33

palmskog

opened #61

purge-redundant

Status Success

Total duration 5m 2s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build