Skip to content
Format

A first Lie group! #20

Sign in to view logs

A first Lie group!

A first Lie group! #20

Triggered via pull request October 14, 2024 12:59
@kellertuerkellertuer
synchronize #8
kellertuer/first-group
Status Success
Total duration 46s
Artifacts –

format.yml

on: pull_request
Format Check
35s
Format Check
Fit to window
Zoom out
Zoom in