Skip to content
Config-options

Update version numbers etc for v1.8.0 #182

Sign in to view logs

Update version numbers etc for v1.8.0

Update version numbers etc for v1.8.0 #182

Triggered via push August 27, 2024 15:32
@james-d-mitchelljames-d-mitchell
pushed e6b2748
main
Status Cancelled
Total duration 1m 8s
Artifacts –

config_options.yml

on: push
Matrix: all-options
Matrix: with-external-planarity-bliss
Fit to window
Zoom out
Zoom in

Annotations

10 errors
--without-intrinsics
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-debug --without-intrinsics
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-debug --enable-compile-warnings
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-debug
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-compile-warnings
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-compile-warnings --without-intrinsics
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--enable-debug --enable-compile-warnings --without-intrinsics
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--with-external-planarity
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--with-external-bliss
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists
--with-external-bliss --with-external-planarity
Canceling since a higher priority waiting request for 'Config-options-refs/heads/main' exists