Skip to content
test

fetch column key instead of name when running the modelchecker #1569

Sign in to view logs

fetch column key instead of name when running the modelchecker

fetch column key instead of name when running the modelchecker #1569

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_and_test
5m 48s
5m 48s