Skip to content
Adds new Issues automatically to the dGC Project

Implement deemphasised lines at nondisjunctions between references #24

Sign in to view logs

Implement deemphasised lines at nondisjunctions between references

Implement deemphasised lines at nondisjunctions between references #24

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add issue or PR to project automatically
4s
4s