CHERI

CN: Rename Resultat to Or_TypeError #194

Sign in to view logs

Triggered via pull request December 26, 2024 16:42

dc-mak

opened #794

dc-mak:cn-rename-resultat

Status Success

Total duration 3m 7s

Artifacts –

ci-cheri.yml

on: pull_request

Matrix: build