Code Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Clang Tidy check	8m 57s
Scala formatting check	39s
Shell check	6s
Formatting Check	52s
	10m 34s