Public export Decidable.Decidable.decision #6251

Sign in to view logs

Triggered via pull request June 26, 2024 03:18

opened #3332

michaelmesser:patch-1

Status Success

Total duration 1m 52s

Artifacts –

ci-super-linter.yml

on: pull_request