Knaster-Tarski for categories #754

Triggered via pull request October 19, 2024 11:54

TOTBWF

synchronize #436

knaster-tarski

Status Success

Total duration 1m 30s

Artifacts 1

preview.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size
pr-preview	9.12 MB