linux

Prune subtrees and nodes during initial And-Transposition #538

Sign in to view logs

Triggered via push June 14, 2024 13:13

SSoelvsten

main

Status Success

Total duration 34s

Artifacts –

linux.yml

on: push

Matrix: build_test

Matrix: skip_build