Pp an `Inductive` of `Set` #1030

Sign in to view logs

Triggered via pull request August 14, 2023 13:41

toku-sa-n

opened #112

inductive-set

Status Failure

Total duration 23m 49s

Artifacts –

test.yml

on: pull_request

Matrix: test

Annotations

3 errors

test (ubuntu-latest)

Process completed with exit code 1.

test (windows-latest)

Process completed with exit code 1.

test (macos-latest)

Process completed with exit code 1.