Update OmpSs-2 packages to 2025.11 release #212
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user
	
	No description provided.
		
		Delete Branch "update-ompss2-2025.11"
	
	Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
WIP: Update OmpSs-2 packages to 2025.11 releaseto Update OmpSs-2 packages to 2025.11 release@ -23,2 +23,2 @@hash = "sha256-H04JvsVKrdqr3ON7JhU0g17jjlg/jzQ7eTfx9vUNd3E=";} // { shortRev = "a73afcf"; };hash = "sha256-0l2ryIyWNiZqeYdVlnj/WnQGS3xFCY4ICG8JedX424w=";} // { shortRev = "06432668"; };Previous
shortRevwas 7 characters, now it's 8.Seems that
git rev-parse --short HEADis 7 characters long, but GitLab uses 8 insteadNow ovni and ovniGit have different shortRevs:
c2eb27c200to723c13743d723c13743dto2e09314a7e