Skip to content
Check conflicts

Add hint of how to enable native compile in config/dune #5288

Sign in to view logs

Add hint of how to enable native compile in config/dune

Add hint of how to enable native compile in config/dune #5288

Run time

Learn about OS pricing on GitHub Actions
Job Run time
main
2s
2s