Skip to content

[gram.key] Replace 'context-dependent keywords' with 'names' #161

[gram.key] Replace 'context-dependent keywords' with 'names'

[gram.key] Replace 'context-dependent keywords' with 'names' #161

Triggered via push March 1, 2024 19:11
Status Success
Total duration 8m 16s
Artifacts 1

check.yml

on: push
Matrix: run-checks
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
draft-snapshot Expired
7.77 MB