Skip to content
build

Add a function which translates BDDs between variable contexts. #92

Sign in to view logs

Add a function which translates BDDs between variable contexts.

Add a function which translates BDDs between variable contexts. #92

Triggered via push October 18, 2023 08:56
@daemontusdaemontus
pushed 38d9b8e
master
Status Success
Total duration 2m 44s
Artifacts 1

build.yml

on: push
Rustfmt
18s
Rustfmt
Check
19s
Check
Test Suite (linux)
31s
Test Suite (linux)
Clippy
23s
Clippy
Code coverage
59s
Code coverage
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
code-coverage-report Expired
54.2 KB