Skip to content
Windows CI

Put parts of ltac2_plugin which depend on ltac1 in a separate plugin #2650

Sign in to view logs

Put parts of ltac2_plugin which depend on ltac1 in a separate plugin

Put parts of ltac2_plugin which depend on ltac1 in a separate plugin #2650

Triggered via push January 8, 2024 14:20
@SkySkimmerSkySkimmer
pushed fbb04f9
ltac2-ltac1
Status Success
Total duration 55m 15s
Artifacts 1

ci-windows.yml

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

Artifacts

Produced during runtime
Name Size
windows-installer Expired
123 MB