Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #1375: Scheduled
15m 8s master
master
15m 8s
CI CI #1374: Scheduled
14m 50s master
master
14m 50s
CI CI #1373: Scheduled
10m 18s master
master
10m 18s
CI CI #1372: Scheduled
7m 32s master
master
7m 32s
CI CI #1371: Scheduled
11m 24s master
master
11m 24s
CI CI #1370: Scheduled
9m 47s master
master
9m 47s
CI CI #1369: Scheduled
10m 15s master
master
10m 15s
Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms. CI #1368: Pull request #892 synchronize by ido-shm-uel
9m 16s ido-shm-uel:INVPROP_PMNR
ido-shm-uel:INVPROP_PMNR
9m 16s
CI CI #1367: Scheduled
8m 50s master
master
8m 50s
CI CI #1366: Scheduled
10m 51s master
master
10m 51s
Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms. CI #1365: Pull request #892 synchronize by ido-shm-uel
10m 31s ido-shm-uel:INVPROP_PMNR
ido-shm-uel:INVPROP_PMNR
10m 31s
CI CI #1364: Scheduled
9m 21s master
master
9m 21s
CI CI #1363: Scheduled
1m 21s master
master
1m 21s
CI CI #1362: Scheduled
8m 50s master
master
8m 50s
Proof Minimization (#890) CI #1361: Commit 52f7407 pushed by omriisack
18m 46s master
master
18m 46s
Proof Minimization CI #1360: Pull request #890 synchronize by omriisack
7m 23s OmriIsacHUJI:master
OmriIsacHUJI:master
7m 23s
CI CI #1359: Scheduled
8m 56s master
master
8m 56s
Bound tightenings using INVPROP and Partial Multi-Neuron Relaxation algorithms. CI #1358: Pull request #892 opened by ido-shm-uel
11m 29s ido-shm-uel:INVPROP_PMNR
ido-shm-uel:INVPROP_PMNR
11m 29s
Correcting SBT and LP relaxations for Sigmoid, Max, Softmax, Bilinear. CI #1357: Pull request #891 opened by ido-shm-uel
7m 59s ido-shm-uel:SBT-LP-FIX
ido-shm-uel:SBT-LP-FIX
7m 59s
Backward Analysis using Preimage Approximation CI #1356: Pull request #861 synchronize by ido-shm-uel
10m 56s ido-shm-uel:Preimage-Approximation
ido-shm-uel:Preimage-Approximation
10m 56s
CI CI #1355: Scheduled
7m 50s master
master
7m 50s
Proof Minimization CI #1354: Pull request #890 synchronize by omriisack
24m 32s OmriIsacHUJI:master
OmriIsacHUJI:master
24m 32s
Proof Minimization CI #1353: Pull request #890 synchronize by omriisack
14m 38s OmriIsacHUJI:master
OmriIsacHUJI:master
14m 38s
Proof Minimization CI #1352: Pull request #890 synchronize by omriisack
13m 47s OmriIsacHUJI:master
OmriIsacHUJI:master
13m 47s
Proof Minimization CI #1351: Pull request #890 synchronize by omriisack
28s OmriIsacHUJI:master
OmriIsacHUJI:master
28s