Skip to content
Maintenance

trigger CI #24

Sign in to view logs

trigger CI

trigger CI #24

Triggered via push September 15, 2025 08:45
@TiloRCTiloRC
pushed fdcd37c
z3-euf
Status Success
Total duration 6s
Artifacts –

checkconflict.yml

on: push
main
3s
main
Fit to window
Zoom out
Zoom in