Skip to content
awkward-main

feat: add new attribute for when divisions are known #568

Sign in to view logs

feat: add new attribute for when divisions are known

feat: add new attribute for when divisions are known #568

Triggered via pull request July 20, 2023 18:28
@douglasdavisdouglasdavis
synchronize #326
douglasdavis:explicit-known-divisions-sometimes
Status Cancelled
Total duration 2s
Artifacts –

awkward-main.yml

on: pull_request
run
run
Fit to window
Zoom out
Zoom in

Annotations

1 error
awkward-main
Canceling since a higher priority waiting request for 'coverage-explicit-known-divisions-sometimes' exists