Skip to content
Test conda package

set use_fhmruvv: True for theories 100* #5859

Sign in to view logs

set use_fhmruvv: True for theories 100*

set use_fhmruvv: True for theories 100* #5859

Triggered via push October 31, 2024 15:31
@RoyStegemanRoyStegeman
pushed 591e1c7
add_theorycard_alphasvar_qed
Status Cancelled
Total duration 13m 31s
Artifacts –

tests.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

5 errors
build (macos-14, 3.12)
Canceling since a higher priority waiting request for 'refs/heads/add_theorycard_alphasvar_qed' exists
build (ubuntu-latest, 3.9)
Canceling since a higher priority waiting request for 'refs/heads/add_theorycard_alphasvar_qed' exists
build (ubuntu-latest, 3.9)
The operation was canceled.
build (ubuntu-latest, 3.12)
Canceling since a higher priority waiting request for 'refs/heads/add_theorycard_alphasvar_qed' exists
build (ubuntu-latest, 3.12)
The operation was canceled.