Skip to content
Tests

move n3lo theories 439->722 in theoryDB #2920

Sign in to view logs

move n3lo theories 439->722 in theoryDB

move n3lo theories 439->722 in theoryDB #2920

Triggered via push November 15, 2023 15:13
@RoyStegemanRoyStegeman
pushed 007198a
n3lo_dis_fit
Status Cancelled
Total duration 14m 4s
Artifacts –

tests.yml

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

Annotations

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