[bot][ubuntu] Generate current state of CWhy prompts #185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
sanity (3.8)	40s
sanity (3.9)	34s
sanity (3.10)	32s
sanity (3.11)	44s
sanity (3.12)	38s
	3m 8s