Skip to content

Pp an Inductive of Set #1034

Pp an Inductive of Set

Pp an Inductive of Set #1034

Triggered via pull request August 14, 2023 13:49
Status Success
Total duration 24m 32s
Artifacts

test.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

1 warning
test (windows-latest)
Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.