Minor update to slot updates to align with tutorial #10547

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Code Quality Checks	31s
Profiling	49s
Nix (normal)	8m 43s
Conformance Tests	20m 1s
Nix (macos-13)	30m 27s
Unit Tests	27s
Nix (ARM64)	5m 40s
Proofs: Rules (booster)	54m 45s
Proofs: Rules (booster-dev)	10m 11s
Proofs: Functional	43m 55s
Proofs: Optimizations	8m 2s
Proofs: DSS	20m 38s
	3h 24m 9s