Setoid instances #25

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request February 20, 2024 15:24

jkopanski

synchronize #10

jkopanski:setoid-instances

Status Success

Total duration 10m 3s

Artifacts –

build.yml

on: pull_request