Skip to content
Whitespace

Fix #7113: solve instance constraints before with-abstraction (#7122) #27

Sign in to view logs

Fix #7113: solve instance constraints before with-abstraction (#7122)

Fix #7113: solve instance constraints before with-abstraction (#7122) #27

Triggered via push April 12, 2024 14:53
@JobPetrovcicJobPetrovcic
pushed b430f9d
master
Status Success
Total duration 24s
Artifacts –

whitespace.yml

on: push
check
15s
check
Fit to window
Zoom out
Zoom in