.github/workflows/ci.yml

Implement a micro-pass to simplify the use of the array/slice index functions and the aggregated ADTs #1467

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-charon-pin	7s
userdocs	4s
check_if_skip_duplicate_job	5s
lean	0s
nix	0s
	16s