Formalize most public API #110

Sign in to view logs

Triggered via pull request July 22, 2024 22:20

PepperCode1

synchronize #253

1.20/general-api-formalization

Status Success

Total duration 2m 21s

Artifacts 1

build.yml

on: pull_request

Matrix: build

Artifacts

Produced during runtime

Name	Size
Artifacts	8.53 MB