Master Push

Deprecate `symbol` and `klabel(_)` (#2378) #769

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Populate Nix Cache (normal)	4m 19s
Populate Nix Cache (macos-13)	18m 50s
Populate Nix Cache (ARM64)	2m 41s
Cut Release	6s
Publish GH Pages	2m 12s
	28m 8s