Build

Make schema-specific tests independent from default schema #1438

Sign in to view logs

Triggered via pull request February 12, 2025 08:44

Vampire

synchronize #408

Vampire:default-independent-tests

Status Success

Total duration 14m 32s

Artifacts –

build.yaml

on: pull_request

Check YAML consistency

build-on-UbuntuLatest

build-on-MacOSLatest

build-on-WindowsLatest

Build Kotlin scripts

Run consistency check on all GitHub workflows