Skip to content

Actions: NeuralNetworkVerification/Marabou

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
486 workflow runs
486 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Proof Minimization clang-format Check #366: Pull request #890 synchronize by omriisack
1m 48s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 48s
Proof Minimization CI #1348: Pull request #890 synchronize by omriisack
16m 21s OmriIsacHUJI:master
OmriIsacHUJI:master
16m 21s
Proof Minimization Build wheels #688: Pull request #890 synchronize by omriisack
9m 8s OmriIsacHUJI:master
OmriIsacHUJI:master
9m 8s
Proof Minimization CI #1347: Pull request #890 synchronize by omriisack
10m 48s OmriIsacHUJI:master
OmriIsacHUJI:master
10m 48s
Proof Minimization clang-format Check #365: Pull request #890 synchronize by omriisack
1m 49s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 49s
Proof Minimization Build wheels #687: Pull request #890 synchronize by omriisack
9m 12s OmriIsacHUJI:master
OmriIsacHUJI:master
9m 12s
Proof Minimization CI #1346: Pull request #890 synchronize by omriisack
1m 52s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 52s
Proof Minimization clang-format Check #364: Pull request #890 synchronize by omriisack
1m 48s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 48s
Proof Minimization Build wheels #686: Pull request #890 synchronize by omriisack
16m 25s OmriIsacHUJI:master
OmriIsacHUJI:master
16m 25s
Proof Minimization clang-format Check #363: Pull request #890 synchronize by OmriIsacHUJI
1m 55s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 55s
Proof Minimization CI #1345: Pull request #890 synchronize by OmriIsacHUJI
10m 5s OmriIsacHUJI:master
OmriIsacHUJI:master
10m 5s
Proof Minimization Build wheels #685: Pull request #890 synchronize by OmriIsacHUJI
10m 53s OmriIsacHUJI:master
OmriIsacHUJI:master
10m 53s
Proof Minimization Build wheels #684: Pull request #890 synchronize by OmriIsacHUJI
9m 49s OmriIsacHUJI:master
OmriIsacHUJI:master
9m 49s
Proof Minimization clang-format Check #362: Pull request #890 synchronize by OmriIsacHUJI
1m 52s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 52s
Proof Minimization CI #1344: Pull request #890 synchronize by OmriIsacHUJI
10m 55s OmriIsacHUJI:master
OmriIsacHUJI:master
10m 55s
Proof Minimization Build wheels #683: Pull request #890 opened by OmriIsacHUJI
10m 18s OmriIsacHUJI:master
OmriIsacHUJI:master
10m 18s
Proof Minimization clang-format Check #361: Pull request #890 opened by OmriIsacHUJI
1m 51s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 51s
Proof Minimization CI #1343: Pull request #890 opened by OmriIsacHUJI
6m 23s OmriIsacHUJI:master
OmriIsacHUJI:master
6m 23s
Towards Proof Minimization (#889) CI #1342: Commit adc5b55 pushed by omriisack
16m 1s master
master
16m 1s
Towards Proof Minimization (#889) Build wheels #682: Commit adc5b55 pushed by omriisack
1h 1m 24s master
master
1h 1m 24s
Towards Proof Minimization (#889) clang-format Check #360: Commit adc5b55 pushed by omriisack
1m 46s master
master
1m 46s
Towards Proof Minimization Build wheels #681: Pull request #889 synchronize by omriisack
8m 44s OmriIsacHUJI:master
OmriIsacHUJI:master
8m 44s
Towards Proof Minimization clang-format Check #359: Pull request #889 synchronize by omriisack
1m 48s OmriIsacHUJI:master
OmriIsacHUJI:master
1m 48s
Towards Proof Minimization CI #1341: Pull request #889 synchronize by omriisack
9m 22s OmriIsacHUJI:master
OmriIsacHUJI:master
9m 22s
CI CI #1340: Scheduled
11m 12s master
master
11m 12s