Code Checks

Print print intermediate configurations after some function events in `kore-proof-trace` #3195

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Scala formatting check	49s
Formatting Check	1m 22s
Clang Tidy check	9m 41s
Shell check	6s
	11m 58s