extract a last few lemmas from the sampling branch #1777
Triggered via pull request
July 7, 2025 11:42
affeldt-aist
affeldt-aist
synchronize
#1678
Status
Success
Total duration
23m 46s
Artifacts
–
nix-action-8.20.yml
on: pull_request_target