Open JuliaNortman opened 1 month ago
@JuliaNortman Could you add your name to contributor to /docs/manual/contributors.tex
Please see the CI message as suggestion on how to do it. https://dev.azure.com/eisop/checker-framework/_build/results?buildId=5001&view=logs&jobId=c326031a-fc8d-5e8e-5aaf-1127ae89918f&j=c326031a-fc8d-5e8e-5aaf-1127ae89918f&t=56a01ac5-ee6c-5ec2-e15f-d6c913c7703c
@JuliaNortman Could you add your name to contributor to /docs/manual/contributors.tex
Please see the CI message as suggestion on how to do it. https://dev.azure.com/eisop/checker-framework/_build/results?buildId=5001&view=logs&jobId=c326031a-fc8d-5e8e-5aaf-1127ae89918f&j=c326031a-fc8d-5e8e-5aaf-1127ae89918f&t=56a01ac5-ee6c-5ec2-e15f-d6c913c7703c