Skip to content

Actions: verivital/nnv

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #251 from sammsaski/formalise25v2
CI #82: Commit 4abdc23 pushed by mldiego
December 7, 2024 00:24 9m 31s master
December 7, 2024 00:24 9m 31s
FormaliSE 2025 AE Submission Fixes
CI #81: Pull request #251 synchronize by sammsaski
December 7, 2024 00:20 9m 55s sammsaski:formalise25v2
December 7, 2024 00:20 9m 55s
FormaliSE 2025 AE Submission Fixes
CI #80: Pull request #251 opened by sammsaski
December 7, 2024 00:13 9m 16s sammsaski:formalise25v2
December 7, 2024 00:13 9m 16s
Merge pull request #250 from sammsaski/formalise25fixes
CI #79: Commit 1ecabc6 pushed by mldiego
December 6, 2024 22:07 9m 8s master
December 6, 2024 22:07 9m 8s
FormaliSE 2025 AE Fixes
CI #78: Pull request #250 opened by sammsaski
December 6, 2024 22:06 9m 18s sammsaski:formalise25fixes
December 6, 2024 22:06 9m 18s
Merge pull request #249 from sammsaski/formalise25
CI #77: Commit 97fe0cd pushed by mldiego
December 6, 2024 20:31 10m 4s master
December 6, 2024 20:31 10m 4s
Formalise 2025
CI #76: Pull request #249 synchronize by sammsaski
December 6, 2024 20:17 9m 11s sammsaski:formalise25
December 6, 2024 20:17 9m 11s
Formalise 2025
CI #75: Pull request #249 synchronize by sammsaski
December 6, 2024 20:16 9m 14s sammsaski:formalise25
December 6, 2024 20:16 9m 14s
Formalise 2025
CI #74: Pull request #249 opened by sammsaski
December 6, 2024 20:12 9m 40s sammsaski:formalise25
December 6, 2024 20:12 9m 40s
Merge pull request #248 from mldiego/master
CI #73: Commit d11b57d pushed by mldiego
November 26, 2024 21:47 9m 20s master
November 26, 2024 21:47 9m 20s
Installation script with instructions
CI #72: Pull request #248 opened by mldiego
November 26, 2024 21:47 9m 29s mldiego:master
November 26, 2024 21:47 9m 29s
Merge pull request #247 from atumlin/master
CI #71: Commit 55637e6 pushed by mldiego
October 9, 2024 16:01 14m 49s master
October 9, 2024 16:01 14m 49s
FairNNV
CI #70: Pull request #247 synchronize by atumlin
October 9, 2024 15:39 10m 28s atumlin:master
October 9, 2024 15:39 10m 28s
FairNNV
CI #69: Pull request #247 opened by atumlin
October 9, 2024 03:05 8m 39s atumlin:master
October 9, 2024 03:05 8m 39s
Merge pull request #246 from mldiego/master
CI #68: Commit 5e604b9 pushed by mldiego
October 8, 2024 21:18 9m 40s master
October 8, 2024 21:18 9m 40s
Fix lpsolver when matrices empty
CI #67: Pull request #246 opened by mldiego
October 8, 2024 21:18 9m 38s mldiego:master
October 8, 2024 21:18 9m 38s
Merge pull request #243 from mldiego/master
CI #65: Commit c04352a pushed by mldiego
September 25, 2024 17:42 10m 18s master
September 25, 2024 17:42 10m 18s
Some experimenting with GPU, fix few issues
CI #64: Pull request #243 opened by mldiego
September 25, 2024 17:40 9m 16s mldiego:master
September 25, 2024 17:40 9m 16s
Merge pull request #240 from mldiego/master
CI #63: Commit 2b13d82 pushed by mldiego
August 28, 2024 22:11 9m 36s master
August 28, 2024 22:11 9m 36s
Fix bug on ImageStar.estimateRanges
CI #62: Pull request #240 opened by mldiego
August 28, 2024 22:10 9m 50s mldiego:master
August 28, 2024 22:10 9m 50s
Merge pull request #238 from mldiego/master
CI #61: Commit 94b77c5 pushed by mldiego
August 20, 2024 21:43 10m 3s master
August 20, 2024 21:43 10m 3s
work in progress, fix github issues
CI #60: Pull request #238 opened by mldiego
August 20, 2024 21:43 9m 53s mldiego:master
August 20, 2024 21:43 9m 53s
Merge pull request #232 from mldiego/master
CI #59: Commit b8d4bcc pushed by mldiego
August 5, 2024 14:59 10m 40s master
August 5, 2024 14:59 10m 40s
Fix bug checkRobust
CI #58: Pull request #232 opened by mldiego
August 5, 2024 14:57 10m 29s mldiego:master
August 5, 2024 14:57 10m 29s