Skip to content
Pull Request Workflow

feat: allow users to edit lemmas #1809

Sign in to view logs

feat: allow users to edit lemmas

feat: allow users to edit lemmas #1809

Triggered via pull request February 4, 2025 16:02
@ggurdinggurdin
opened #1694
1642-allow-user-to-edit-lemma
Status Failure
Total duration 21m 36s
Artifacts –

integrate.yaml

on: pull_request
code_tests
7m 53s
code_tests
build_apk
21m 27s
build_apk
build_web
9m 43s
build_web
build_debug_ios
4m 40s
build_debug_ios
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build_debug_ios
Process completed with exit code 1.
code_tests
Process completed with exit code 1.
build_apk
Process completed with exit code 1.