Skip to content
ci

temporary dirty trick for goals solvable by rfl #231

Sign in to view logs

temporary dirty trick for goals solvable by rfl

temporary dirty trick for goals solvable by rfl #231

Triggered via push December 19, 2024 08:10
@PratherConidPratherConid
pushed c5d2731
main
Status Skipped
Total duration 3s
Artifacts –

build.yml

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