Skip to content
Check copyright

improve cycle head content #1950

Sign in to view logs

improve cycle head content

improve cycle head content #1950

Triggered via push February 16, 2025 19:58
@AdamZsofiAdamZsofi
pushed f8beed5
nontermination-witnesses
Status Success
Total duration 32s
Artifacts –

check-copyright.yml

on: push
check-copyright
21s
check-copyright
Fit to window
Zoom out
Zoom in