Skip to content
Basic formatting checks

Also check for Maple updates when checking for Ahorn updates #27

Sign in to view logs

Also check for Maple updates when checking for Ahorn updates

Also check for Maple updates when checking for Ahorn updates #27

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
8s
8s