Skip to content
Scallop Core

Adding foreign aggregators and wmc_with_disjunctions #5

Sign in to view logs

Adding foreign aggregators and wmc_with_disjunctions

Adding foreign aggregators and wmc_with_disjunctions #5

Triggered via push October 4, 2023 22:16
@Liby99Liby99
pushed 79cece1
master
Status Success
Total duration 7m 53s
Artifacts –

scallop-core.yml

on: push
Matrix: Build and Test
Fit to window
Zoom out
Zoom in