build-linux

Merge pull request #3209 from ERGO-Code/keep-implications-between-res… #8848

Sign in to view logs

Triggered via push August 25, 2026 10:57

Opt-Mucca

latest

Status Success

Total duration 6m 46s

Artifacts –

build-linux.yml

on: push

Matrix: debug

Matrix: debug64

Matrix: debug64_all_tests

Matrix: debug_all_tests

Matrix: release

Matrix: Release64

Matrix: Release64_all_tests

Matrix: release_all_tests