Skip to content

Merge pull request #212 from dlyongemallo/save_lemma_default_name #150

Merge pull request #212 from dlyongemallo/save_lemma_default_name

Merge pull request #212 from dlyongemallo/save_lemma_default_name #150

Triggered via push December 11, 2023 09:58
Status Success
Total duration 1m 19s
Artifacts

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in

Annotations

3 errors
lint (3.9)
Process completed with exit code 30.
lint (3.9)
Process completed with exit code 1.
lint (3.9)
Process completed with exit code 1.