Rust

Merge pull request #808 from xldenis/support-associated-types #3084

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
fmt	27s
contracts-build	40s
build	2m 44s
why3	6m 19s
	10m 10s