Formalize most public API #116

Sign in to view logs

Triggered via pull request July 25, 2024 17:33

PepperCode1

synchronize #253

1.20/general-api-formalization

Status Success

Total duration 2m 8s

Artifacts 1

build.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
Artifacts	8.45 MB