Skip to content
Hugs-CI

react to comments #196

Sign in to view logs

react to comments

react to comments #196

Triggered via push April 18, 2024 07:42
@MaximilianAlgehedMaximilianAlgehed
pushed 2336786
PR-withCounterexample
Status Success
Total duration 3m 30s
Artifacts –

hugs-ci.yml

on: push
Hugs-CI - Linux
14s
Hugs-CI - Linux
Fit to window
Zoom out
Zoom in