Skip to content
CI

[alethe] Support for rules added during elaboration of rewrites #1851

Sign in to view logs

[alethe] Support for rules added during elaboration of rewrites

[alethe] Support for rules added during elaboration of rewrites #1851

Triggered via push August 2, 2024 20:07
@HanielBHanielB
pushed 616f2fe
alethe-update-dsl
Status Success
Total duration 20m 20s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
documentation
4.8 MB