Code Checks

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Formatting Check	50s
Clang Tidy check	6m 47s
Scala formatting check	39s
Shell check	6s
	8m 22s