change order in decision procedure: and-right rule should come after … #94

Sign in to view logs

Triggered via push October 16, 2024 15:15

samvang

main

Status Success

Total duration 14m 39s

Artifacts 3

build_docs.yml

on: push

Artifacts

Produced during runtime

Name	Size
benchmark	981 Bytes
build-time	1.67 KB
docs-artifact	2.21 MB