Skip to content
Build

Setoid instances #29

Sign in to view logs

Setoid instances

Setoid instances #29

Triggered via pull request February 22, 2024 09:29
@jkopanskijkopanski
synchronize #10
jkopanski:setoid-instances
Status Success
Total duration 9m 58s
Artifacts –

build.yml

on: pull_request
build
9m 48s
build
Fit to window
Zoom out
Zoom in