Skip to content

Actions: verivital/nnv

All workflows

Actions

Loading...

Showing runs from all workflows
116 workflow runs
116 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Merge pull request #219 from mldiego/master
CI #40: Commit 594c0a1 pushed by mldiego
April 1, 2024 15:31 16m 56s master
April 1, 2024 15:31 16m 56s
pages build and deployment
pages-build-deployment #96: by mldiego
April 1, 2024 15:31 1m 30s
April 1, 2024 15:31 1m 30s
Not much
CI #39: Pull request #219 opened by mldiego
April 1, 2024 15:31 16m 13s mldiego:master
April 1, 2024 15:31 16m 13s
Merge pull request #218 from mldiego/master
CI #38: Commit 7dc4a5e pushed by mldiego
March 29, 2024 21:49 16m 22s master
March 29, 2024 21:49 16m 22s
pages build and deployment
pages-build-deployment #95: by mldiego
March 29, 2024 21:49 5m 46s
March 29, 2024 21:49 5m 46s
Add some instructions/comments for vnncomp 2024
CI #37: Pull request #218 opened by mldiego
March 29, 2024 21:48 16m 24s mldiego:master
March 29, 2024 21:48 16m 24s
Merge pull request #217 from mldiego/master
CI #36: Commit 11f085f pushed by mldiego
March 29, 2024 20:08 16m 41s master
March 29, 2024 20:08 16m 41s
pages build and deployment
pages-build-deployment #94: by mldiego
March 29, 2024 20:08 2m 0s
March 29, 2024 20:08 2m 0s
GPU support, Conv1D issue
CI #35: Pull request #217 opened by mldiego
March 29, 2024 20:08 16m 25s mldiego:master
March 29, 2024 20:08 16m 25s
forcing cora submodule update
CI #34: Commit 8a818ef pushed by ttj
March 29, 2024 19:26 16m 51s master
March 29, 2024 19:26 16m 51s
pages build and deployment
pages-build-deployment #93: by ttj
March 29, 2024 19:26 1m 35s
March 29, 2024 19:26 1m 35s
Merge pull request #214 from mldiego/master
CI #33: Commit 48830a8 pushed by mldiego
March 21, 2024 21:12 17m 46s master
March 21, 2024 21:12 17m 46s
pages build and deployment
pages-build-deployment #92: by mldiego
March 21, 2024 21:12 1m 31s
March 21, 2024 21:12 1m 31s
Update to last CORA commit
CI #32: Pull request #214 opened by mldiego
March 21, 2024 21:11 16m 54s mldiego:master
March 21, 2024 21:11 16m 54s
Merge pull request #213 from mldiego/master
CI #31: Commit 2189b88 pushed by mldiego
March 21, 2024 20:46 15m 31s master
March 21, 2024 20:46 15m 31s
pages build and deployment
pages-build-deployment #91: by mldiego
March 21, 2024 20:46 1m 45s
March 21, 2024 20:46 1m 45s
CORA updates, ARCH-COMP 2024
CI #30: Pull request #213 opened by mldiego
March 21, 2024 20:46 20m 6s mldiego:master
March 21, 2024 20:46 20m 6s
Merge pull request #212 from mldiego/master
CI #29: Commit 0687ce4 pushed by mldiego
March 20, 2024 21:20 16m 27s master
March 20, 2024 21:20 16m 27s
pages build and deployment
pages-build-deployment #90: by mldiego
March 20, 2024 21:20 2m 0s
March 20, 2024 21:20 2m 0s
Misc. error fixes
CI #28: Pull request #212 opened by mldiego
March 20, 2024 21:19 16m 37s mldiego:master
March 20, 2024 21:19 16m 37s
Merge pull request #211 from mldiego/master
CI #27: Commit dbe8633 pushed by mldiego
February 16, 2024 23:18 15m 53s master
February 16, 2024 23:18 15m 53s
pages build and deployment
pages-build-deployment #89: by mldiego
February 16, 2024 23:18 2m 5s
February 16, 2024 23:18 2m 5s
Fix precision error on caused by MaxPooling reachability
CI #26: Pull request #211 opened by mldiego
February 16, 2024 23:18 16m 11s mldiego:master
February 16, 2024 23:18 16m 11s