Skip to content

CI on every push and pull request; the corpus as a job; issue and PR templates - #6

Closed
chenyueqi wants to merge 1 commit into
mainfrom
sync/ci
Closed

CI on every push and pull request; the corpus as a job; issue and PR templates#6
chenyueqi wants to merge 1 commit into
mainfrom
sync/ci

CI runs on every push and pull request of the published edition; the …

35bde66
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar