Skip to content

Actions: NASA-SW-VnV/ikos

Actions

Build tool on Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-linux.yml
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'release-3.5'. Close #310. Build tool on Linux #80: Commit 1d98c65 pushed by ivanperez-keera
December 31, 2024 23:35 3m 28s v3.5
v3.5
December 31, 2024 23:35 3m 28s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on Linux #79: Commit c9f6c3f pushed by ivanperez-keera
December 31, 2024 23:35 3m 25s v3.4-rc1
v3.4-rc1
December 31, 2024 23:35 3m 25s
Merge branch 'release-3.5'. Close #310. Build tool on Linux #78: Commit 1d98c65 pushed by ivanperez-keera
December 31, 2024 23:35 3m 28s master
master
December 31, 2024 23:35 3m 28s
Release 3.5 (#310). Build tool on Linux #77: Pull request #311 opened by ivanperez-keera
December 31, 2024 21:27 3m 23s release-3.5
release-3.5
December 31, 2024 21:27 3m 23s
Update badges in README to refer to IKOS 3.5 (#310). Build tool on Linux #76: Commit c72e839 pushed by ivanperez-keera
December 31, 2024 21:25 3m 24s release-3.5
release-3.5
December 31, 2024 21:25 3m 24s
Merge branch 'develop-getAlignment'. Close #304. Build tool on Linux #75: Commit 9268e4e pushed by ivanperez-keera
December 31, 2024 20:44 3m 26s master
master
December 31, 2024 20:44 3m 26s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on Linux #74: Pull request #309 synchronize by ivanperez-keera
December 31, 2024 20:37 3m 26s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
December 31, 2024 20:37 3m 26s
[frontend] Replace calls to deprecated function getAlignment (#304). Build tool on Linux #73: Pull request #309 opened by ivanperez-keera
December 31, 2024 19:35 3m 31s ivanperez-keera:develop-getAlignment
ivanperez-keera:develop-getAlignment
December 31, 2024 19:35 3m 31s
Merge branch 'develop-remove-deprecatedPipes'. Close #292. Build tool on Linux #68: Commit e466004 pushed by ivanperez-keera
November 26, 2024 21:23 3m 35s master
master
November 26, 2024 21:23 3m 35s
[analyzer] Remove use of deprecated python module pipes (#292). Build tool on Linux #67: Pull request #293 synchronize by ivanperez-keera
November 26, 2024 21:09 3m 33s tarikgta2:dev
tarikgta2:dev
November 26, 2024 21:09 3m 33s
[analyzer] Remove use of deprecated python module pipes (#292). Build tool on Linux #65: Pull request #293 opened by tarikgta2
October 19, 2024 20:21 3m 30s tarikgta2:dev
tarikgta2:dev
October 19, 2024 20:21 3m 30s
Merge branch 'release-3.4'. Close #287. Build tool on Linux #63: Commit 026c409 pushed by ivanperez-keera
October 1, 2024 05:15 3m 28s v3.4
v3.4
October 1, 2024 05:15 3m 28s
Merge branch 'release-3.4'. Close #287. Build tool on Linux #62: Commit 026c409 pushed by ivanperez-keera
October 1, 2024 05:15 3m 41s master
master
October 1, 2024 05:15 3m 41s
Release 3.4 Build tool on Linux #61: Pull request #288 opened by ivanperez-keera
October 1, 2024 05:05 3m 8s release-3.4
release-3.4
October 1, 2024 05:05 3m 8s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on Linux #60: Commit c9f6c3f pushed by ivanperez-keera
October 1, 2024 01:59 3m 23s v3.4-rc1
v3.4-rc1
October 1, 2024 01:59 3m 23s
Update badges in README to refer to IKOS 3.4 (#287). Build tool on Linux #59: Commit c9f6c3f pushed by ivanperez-keera
September 28, 2024 21:16 3m 20s release-3.4
release-3.4
September 28, 2024 21:16 3m 20s
Merge branch 'develop-snprintf-null'. Close #221. Build tool on Linux #58: Commit 9963a3f pushed by ivanperez-keera
September 28, 2024 18:08 3m 18s master
master
September 28, 2024 18:08 3m 18s
analyzer: Allow snprintf(NULL, 0, ...) (#221). Build tool on Linux #57: Pull request #286 opened by ivanperez-keera
September 28, 2024 17:02 3m 45s ivanperez-keera:develop-snprintf-null
ivanperez-keera:develop-snprintf-null
September 28, 2024 17:02 3m 45s
Merge branch 'develop-fix-includes'. Close #273. Build tool on Linux #56: Commit 98dfd84 pushed by ivanperez-keera
September 21, 2024 20:05 3m 32s master
master
September 21, 2024 20:05 3m 32s
analyzer: Add missing include (#273). Build tool on Linux #55: Pull request #278 opened by ivanperez-keera
September 21, 2024 19:59 3m 11s ivanperez-keera:develop-fix-includes
ivanperez-keera:develop-fix-includes
September 21, 2024 19:59 3m 11s
Merge branch 'develop-fix-ga-macosx'. Close #275. Build tool on Linux #54: Commit 086395b pushed by ivanperez-keera
September 21, 2024 19:51 3m 6s master
master
September 21, 2024 19:51 3m 6s
Merge branch 'develop-fix-includes'. Close #273. Build tool on Linux #53: Commit 6da765b pushed by ivanperez-keera
September 21, 2024 19:51 3m 12s master
master
September 21, 2024 19:51 3m 12s
Merge branch 'develop-fix-ga-macosx'. Close #275. Build tool on Linux #52: Commit 086395b pushed by ivanperez-keera
August 29, 2024 21:43 3m 25s master
master
August 29, 2024 21:43 3m 25s
Fix CI job for Mac due to image upgrade Build tool on Linux #51: Pull request #276 opened by ivanperez-keera
August 29, 2024 21:35 3m 26s ivanperez-keera:develop-fix-ga-macosx
ivanperez-keera:develop-fix-ga-macosx
August 29, 2024 21:35 3m 26s
Fix for #273 Build tool on Linux #50: Pull request #274 synchronize by Mechazo11
August 25, 2024 13:19 3m 37s Mechazo11:master
Mechazo11:master
August 25, 2024 13:19 3m 37s