continuous integration

feat: make informal_definition and informal_lemma commands #1765

Sign in to view logs

Triggered via pull request February 1, 2025 18:42

kuotsanhsu

synchronize #300

meta-informal

Status Success

Total duration 16m 29s

Artifacts –

build.yml

on: pull_request

Python based style linter