ci

Rename RefineCtxt to Cursor and Snapshot to Marker (#961) #1317

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
clippy	1m 51s
fixpoint	10s
rustfmt	27s
vtock	2m 36s
tests	1m 44s
	6m 48s