Skip to content
CI

[alethe] Add arguments to rules and/not_or/and_pos/or_neg (#11123) #1861

Sign in to view logs

[alethe] Add arguments to rules and/not_or/and_pos/or_neg (#11123)

[alethe] Add arguments to rules and/not_or/and_pos/or_neg (#11123) #1861

Triggered via push August 9, 2024 17:44
@HanielBHanielB
pushed 0b00421
main
Status Success
Total duration 38m 42s
Artifacts 1

ci.yml

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

Artifacts

Produced during runtime
Name Size
documentation
4.83 MB