Skip to content
Nix Build

Extraction: not extracting tactics unless backend is Plugin #728

Sign in to view logs

Extraction: not extracting tactics unless backend is Plugin

Extraction: not extracting tactics unless backend is Plugin #728

Triggered via pull request October 9, 2024 00:16
@mtzguidomtzguido
opened #3542
mtzguido:no_extract_tac
Status Success
Total duration 17m 41s
Artifacts –

nix.yaml

on: pull_request
nix-build
17m 33s
nix-build
Fit to window
Zoom out
Zoom in