build

Formalize most public API #112

Sign in to view logs

Triggered via pull request July 25, 2024 03:21

PepperCode1

synchronize #253

1.20/general-api-formalization

Status Success

Total duration 2m 6s

Artifacts 1

build.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
Artifacts Expired	8.45 MB