Skip to content
Coq

Remove unnecessary allocation/copy from the string serialization impl… #537

Sign in to view logs

Remove unnecessary allocation/copy from the string serialization impl…

Remove unnecessary allocation/copy from the string serialization impl… #537

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
53s
53s