Formalize most public API #108

Sign in to view logs

Triggered via pull request July 20, 2024 04:59

PepperCode1

opened #253

1.20/general-api-formalization

Status Success

Total duration 1m 52s

Artifacts 1

build.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
Artifacts	8.55 MB