Skip to content
CI

ADDED: Support SSU DCG rules as Head[, Guard] ==> DCGBody. #853

Sign in to view logs

ADDED: Support SSU DCG rules as Head[, Guard] ==> DCGBody.

ADDED: Support SSU DCG rules as Head[, Guard] ==> DCGBody. #853

Triggered via push November 6, 2024 07:53
@JanWielemakerJanWielemaker
pushed 1edb023
master
Status Success
Total duration 2m 57s
Artifacts –

ci.yml

on: push
build
2m 49s
build
Fit to window
Zoom out
Zoom in