Skip to content

reftests: add test for operators in opamfile filters #1386

reftests: add test for operators in opamfile filters

reftests: add test for operators in opamfile filters #1386

Triggered via push December 12, 2023 10:15
Status Cancelled
Total duration 44m 37s
Artifacts

main.yml

on: push
Matrix: Build-Linux
Matrix: Build-macOS
Matrix: Test-macOS
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Fit to window
Zoom out
Zoom in

Annotations

20 errors
Solvers-macOS (z3, 4.14.1)
The run was canceled by @rjbou.
Solvers-macOS (0install, 4.14.1)
The run was canceled by @rjbou.
Upgrade-macOS (4.14.1)
The run was canceled by @rjbou.
Upgrade-macOS (4.14.1)
The operation was canceled.
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)
The run was canceled by @rjbou.
Build-Windows (x86_64-pc-windows, x86_64-pc-cygwin, 4.14.1)
The operation was canceled.
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
The run was canceled by @rjbou.
Build-Windows (x86_64-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
The operation was canceled.
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)
The run was canceled by @rjbou.
Build-Windows (x86_64-pc-cygwin, x86_64-pc-cygwin, 4.14.1)
The operation was canceled.
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)
The run was canceled by @rjbou.
Build-Windows (i686-pc-windows, x86_64-pc-cygwin, 4.14.1)
The operation was canceled.
Solvers-Linux (z3, 4.14.1)
The run was canceled by @rjbou.
Solvers-Linux (z3, 4.14.1)
The operation was canceled.
Test-Linux (4.14.1)
The run was canceled by @rjbou.
Test-Linux (4.14.1)
The operation was canceled.
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
The run was canceled by @rjbou.
Build-Windows (i686-w64-mingw32, x86_64-pc-cygwin, 4.14.1)
The operation was canceled.
Test-macOS (4.14.1)
The run was canceled by @rjbou.
Test-macOS (4.14.1)
The operation was canceled.