Skip to content
Check copyright

Nontermination witnesses #1947

Sign in to view logs

Nontermination witnesses

Nontermination witnesses #1947

Triggered via pull request February 16, 2025 18:14
@leventeBajczileventeBajczi
synchronize #338
nontermination-witnesses
Status Success
Total duration 28s
Artifacts –

check-copyright.yml

on: pull_request
check-copyright
20s
check-copyright
Fit to window
Zoom out
Zoom in

Annotations

1 error
check-copyright
Either "filePath" or "message" should be provided as input