rolling-release

line_count: recognize verus_verify variants and combined attributes (… #243

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build / build (windows)	11m 8s
build / build (macos-x86_64)	13m 57s
build / build (linux)	6m 21s
build / build (macos)	7m 42s
build / metadata	14s
publish	56s
	40m 18s