Repository navigation

chore(deps): bump actions/upload-artifact from 4.6.2 to 7.0.2 #702

Job	Run time
Occupancy relevance	14s
Code relevance	12s
Agda proofs	58s
Julia tests	32m 1s
Occupancy typed peak	5m 36s
Occupancy disagreement test	3s
	39m 4s