Skip to content

Actions: NASA-SW-VnV/ikos

Actions

Build tool on OSX

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-macos.yml
47 workflow runs
47 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge branch 'release-3.3'. Close #266. Build tool on OSX #47: Commit 799c2b0 pushed by ivanperez-keera
April 1, 2024 05:16 9m 31s v3.3
v3.3
April 1, 2024 05:16 9m 31s
Merge branch 'release-3.3'. Close #266. Build tool on OSX #46: Commit 799c2b0 pushed by ivanperez-keera
April 1, 2024 05:16 9m 29s master
master
April 1, 2024 05:16 9m 29s
Update badges in README to refer to IKOS 3.3 (#266). Build tool on OSX #45: Commit fcdcb9f pushed by ivanperez-keera
April 1, 2024 05:02 9m 10s release-3.3
release-3.3
April 1, 2024 05:02 9m 10s
Merge branch 'dev-pass-order'. Close #205. Build tool on OSX #44: Commit 7eb2d06 pushed by ivanperez-keera
April 1, 2024 04:57 9m 34s master
master
April 1, 2024 04:57 9m 34s
Switch pass order (#205). Build tool on OSX #43: Commit 4907d78 pushed by ivanperez-keera
April 1, 2024 04:45 8m 59s dev-pass-order
dev-pass-order
April 1, 2024 04:45 8m 59s
Merge branch 'dev-fix-pygments'. Close #264. Build tool on OSX #42: Commit 39a88c0 pushed by ivanperez-keera
April 1, 2024 04:32 9m 50s master
master
April 1, 2024 04:32 9m 50s
Make compatible with Pygments >= 2.12 (#264). Build tool on OSX #41: Commit 55998a9 pushed by ivanperez-keera
April 1, 2024 03:56 18m 13s dev-fix-pygments
dev-fix-pygments
April 1, 2024 03:56 18m 13s
Merge branch 'dev-add-cstdint-includes'. Close #263. Build tool on OSX #40: Commit fcca375 pushed by ivanperez-keera
January 28, 2024 01:26 13m 52s master
master
January 28, 2024 01:26 13m 52s
Add some missing cstdint includes Build tool on OSX #39: Pull request #262 synchronize by ivanperez-keera
January 26, 2024 14:52 14m 31s swt2c:add_cstdint_includes
swt2c:add_cstdint_includes
January 26, 2024 14:52 14m 31s
Add some missing cstdint includes Build tool on OSX #38: Pull request #262 opened by swt2c
January 18, 2024 00:46 16m 1s swt2c:add_cstdint_includes
swt2c:add_cstdint_includes
January 18, 2024 00:46 16m 1s
Merge branch 'release-3.2'. Close #255. Build tool on OSX #37: Commit 1185cc8 pushed by ivanperez-keera
December 28, 2023 16:31 16m 23s v3.2
v3.2
December 28, 2023 16:31 16m 23s
Merge branch 'release-3.2'. Close #255. Build tool on OSX #36: Commit 1185cc8 pushed by ivanperez-keera
December 28, 2023 16:30 9m 1s master
master
December 28, 2023 16:30 9m 1s
Update version number to 3.2 (#255). Build tool on OSX #35: Pull request #256 synchronize by ivanperez-keera
December 28, 2023 16:29 15m 38s ivanperez-keera:release-3.2
ivanperez-keera:release-3.2
December 28, 2023 16:29 15m 38s
Update version number to 3.2 (#255). Build tool on OSX #34: Pull request #256 opened by ivanperez-keera
December 26, 2023 02:35 11m 59s ivanperez-keera:release-3.2
ivanperez-keera:release-3.2
December 26, 2023 02:35 11m 59s
Merge branch 'release-3.2-rc1'. Close #251. Build tool on OSX #33: Commit a21c5ea pushed by ivanperez-keera
December 17, 2023 03:10 9m 10s v3.2-rc1
v3.2-rc1
December 17, 2023 03:10 9m 10s
Merge branch 'release-3.2-rc1'. Close #251. Build tool on OSX #32: Commit a21c5ea pushed by ivanperez-keera
December 17, 2023 03:09 9m 26s master
master
December 17, 2023 03:09 9m 26s
Update version number to 3.2-rc1 (#251). Build tool on OSX #31: Pull request #252 opened by ivanperez-keera
December 17, 2023 02:57 9m 33s ivanperez-keera:release-3.2-rc1
ivanperez-keera:release-3.2-rc1
December 17, 2023 02:57 9m 33s
Merge branch 'dev-ikos-version-copyright'. Close #249. Build tool on OSX #30: Commit 141bd71 pushed by ivanperez-keera
December 15, 2023 12:48 9m 54s master
master
December 15, 2023 12:48 9m 54s
Bump copyright years in ikos CLI tool (c) notice (#249). Build tool on OSX #29: Pull request #250 synchronize by ivanperez-keera
December 15, 2023 11:28 17m 45s ivanperez-keera:dev-ikos-version-copyright
ivanperez-keera:dev-ikos-version-copyright
December 15, 2023 11:28 17m 45s
Bump copyright years in ikos CLI tool (c) notice (#249). Build tool on OSX #28: Pull request #250 opened by ivanperez-keera
December 15, 2023 11:20 10m 2s ivanperez-keera:dev-ikos-version-copyright
ivanperez-keera:dev-ikos-version-copyright
December 15, 2023 11:20 10m 2s
Merge branch 'dev-copyright-years'. Close #246. Build tool on OSX #27: Commit 415edf6 pushed by ivanperez-keera
December 14, 2023 22:45 13m 13s master
master
December 14, 2023 22:45 13m 13s
Bump copyright years (#246). Build tool on OSX #26: Pull request #247 opened by ivanperez-keera
December 14, 2023 22:29 14m 55s ivanperez-keera:dev-copyright-years
ivanperez-keera:dev-copyright-years
December 14, 2023 22:29 14m 55s
Merge branch 'dev-venv'. Close #243. Build tool on OSX #25: Commit 5cc2353 pushed by ivanperez-keera
December 14, 2023 09:05 9m 41s master
master
December 14, 2023 09:05 9m 41s
Install the python module inside a virtual environment (#243) Build tool on OSX #24: Pull request #245 synchronize by ivanperez-keera
December 13, 2023 04:58 17m 52s arthaud:master
arthaud:master
December 13, 2023 04:58 17m 52s
Install the python module inside a virtual environment (#243) Build tool on OSX #23: Pull request #245 synchronize by ivanperez-keera
December 13, 2023 04:53 17m 15s arthaud:master
arthaud:master
December 13, 2023 04:53 17m 15s