Prefer symbols for VarNames over strings #658
Triggered via pull request
September 20, 2024 20:26
fingolfin
Status
Success
Total duration
46m 53s
Artifacts
–
nemo.yml
on: pull_request
generatematrix
47s
Matrix: test-oscar