Skip to content
Rocq

Fix replay and strengthen CI #49

Sign in to view logs

Fix replay and strengthen CI

Fix replay and strengthen CI #49

Triggered via pull request April 27, 2025 23:55
@ZippeyKeys12ZippeyKeys12
opened #110
ZippeyKeys12:fix-replay
Status Success
Total duration 21m 3s
Artifacts –

rocq.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in