Back to pull request #1759

Generate new exception handling instructions #1141

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-runtime	6s
lint-fmt	2m 12s
lint-opam	3m 19s
	5m 37s