Skip to content

Powerset count

Powerset count #380

Triggered via pull request August 22, 2023 10:06
Status Success
Total duration 2m 53s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: check
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in