Skip to content
Build

Setoid instances #26

Sign in to view logs

Setoid instances

Setoid instances #26

Triggered via pull request February 20, 2024 20:03
@jkopanskijkopanski
synchronize #10
jkopanski:setoid-instances
Status Success
Total duration 9m 53s
Artifacts –

build.yml

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