CI

Merge branch 'graph_coloring' into 'main' #403

Sign in to view logs

Triggered via push November 19, 2024 07:23

shi-eric

main

Status Success

Total duration 27m 49s

Artifacts 3

ci.yml

on: push

build-warp-ubuntu

build-warp-macos

pull-request-docs

test-warp-ubuntu

check-exports-header

test-warp-macos

check-build-docs-output

Artifacts

Produced during runtime

Name	Size
build-artifact-macos	39.7 MB
build-artifact-ubuntu	57.9 MB
exports-header	14 KB