This repository was archived by the owner on Nov 10, 2025. It is now read-only.

Type Checking

Rename elements to species #177

Sign in to view logs

Triggered via pull request November 5, 2025 19:27

johannes-moegerle

synchronize #40

johannes-moegerle:rename_elements_to_species

Status Success

Total duration 32s

Artifacts –

type_checking.yml

on: pull_request