Skip to content

Actions: viper-admin/silicon

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
412 workflow runs
412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from viperproject/master ci #1153: Commit 8b2a342 pushed by viper-admin
September 4, 2024 15:51 15m 44s master
master
September 4, 2024 15:51 15m 44s
Manually merge commits that for some reason did not make it here automatically ci #1152: Pull request #1 synchronize by Dspil
September 4, 2024 06:15 15m 37s viperproject:master
viperproject:master
September 4, 2024 06:15 15m 37s
ci ci #1150: Manually run by viper-admin
August 30, 2024 21:51 2m 30s ci-test-54cecc4cef610c19c5718189c599cbf1ed14789c
ci-test-54cecc4cef610c19c5718189c599cbf1ed14789c
August 30, 2024 21:51 2m 30s
ci ci #1149: Manually run by viper-admin
August 28, 2024 23:32 2m 23s ci-test-56d586013eb7a22ea51ca3f52278ba47cc1c1f5d
ci-test-56d586013eb7a22ea51ca3f52278ba47cc1c1f5d
August 28, 2024 23:32 2m 23s
ci ci #1148: Manually run by viper-admin
August 28, 2024 22:55 1m 48s ci-test-e0db674851819e23c7b8bc38bbe78bc7dae84053
ci-test-e0db674851819e23c7b8bc38bbe78bc7dae84053
August 28, 2024 22:55 1m 48s
ci ci #1147: Manually run by viper-admin
August 28, 2024 00:47 15m 21s ci-test-6326764a9e107cc23d7ac474f79519d120d54fc5
ci-test-6326764a9e107cc23d7ac474f79519d120d54fc5
August 28, 2024 00:47 15m 21s
ci ci #1146: Manually run by viper-admin
August 13, 2024 21:34 3m 29s ci-test-125aa7c197760706103e6cae8deb686e8f793427
ci-test-125aa7c197760706103e6cae8deb686e8f793427
August 13, 2024 21:34 3m 29s
ci ci #1145: Manually run by viper-admin
July 15, 2024 13:29 13m 50s ci-test-8f2fa05a504c28a823725ac817241cf17a2c6329
ci-test-8f2fa05a504c28a823725ac817241cf17a2c6329
July 15, 2024 13:29 13m 50s
ci ci #1144: Manually run by viper-admin
July 8, 2024 11:26 13m 56s ci-test-1e41b5ed31b138a284e5b6b8ee1fcbb4ee6fe15d
ci-test-1e41b5ed31b138a284e5b6b8ee1fcbb4ee6fe15d
July 8, 2024 11:26 13m 56s
ci ci #1143: Manually run by viper-admin
July 8, 2024 10:06 14m 42s ci-test-3362648e50bec80e8de79081605a0c36c4768ba7
ci-test-3362648e50bec80e8de79081605a0c36c4768ba7
July 8, 2024 10:06 14m 42s
ci ci #1142: Manually run by viper-admin
July 1, 2024 13:34 13m 51s ci-test-1d36454b8e8a1e2517b242275347fe91b5d8c968
ci-test-1d36454b8e8a1e2517b242275347fe91b5d8c968
July 1, 2024 13:34 13m 51s
Supporting MWSF in Z3 API (#859) ci #1141: Commit 46a35ff pushed by viper-admin
July 1, 2024 13:34 14m 32s master
master
July 1, 2024 13:34 14m 32s
ci ci #1140: Manually run by viper-admin
July 1, 2024 10:12 13m 59s ci-test-33e0b3393f042b5d6ab3558e5e9bcab9cae85506
ci-test-33e0b3393f042b5d6ab3558e5e9bcab9cae85506
July 1, 2024 10:12 13m 59s
ci ci #1139: Manually run by viper-admin
June 30, 2024 09:55 13m 59s ci-test-6047989e0ed33e49ca608453f7813bdccdc96a2a
ci-test-6047989e0ed33e49ca608453f7813bdccdc96a2a
June 30, 2024 09:55 13m 59s
ci ci #1138: Manually run by viper-admin
June 30, 2024 09:00 13m 10s ci-test-2f8d64b4e2e0d51b135f0d5a82a116be1bfb2095
ci-test-2f8d64b4e2e0d51b135f0d5a82a116be1bfb2095
June 30, 2024 09:00 13m 10s
ci ci #1137: Manually run by viper-admin
June 28, 2024 14:04 13m 17s ci-test-547cbdd1eee86eca410a2e7a1492c4b02aa82c7a
ci-test-547cbdd1eee86eca410a2e7a1492c4b02aa82c7a
June 28, 2024 14:04 13m 17s
ci ci #1136: Manually run by viper-admin
June 27, 2024 13:32 13m 48s ci-test-709b7630dbb2aa505573573a45fc554acbd276a2
ci-test-709b7630dbb2aa505573573a45fc554acbd276a2
June 27, 2024 13:32 13m 48s
ci ci #1135: Manually run by viper-admin
June 27, 2024 13:26 13m 48s ci-test-7eaf86ac3e8e4b778c01fde55e571c820860f8ef
ci-test-7eaf86ac3e8e4b778c01fde55e571c820860f8ef
June 27, 2024 13:26 13m 48s
ci ci #1134: Manually run by viper-admin
June 25, 2024 19:23 16m 27s ci-test-93bc9b7516a710c8f01438e430058c4a54e20512
ci-test-93bc9b7516a710c8f01438e430058c4a54e20512
June 25, 2024 19:23 16m 27s
Update silver submodule ci #1133: Commit 1b11869 pushed by viper-admin
June 25, 2024 19:23 47m 46s ci-test-93bc9b7516a710c8f01438e430058c4a54e20512
ci-test-93bc9b7516a710c8f01438e430058c4a54e20512
June 25, 2024 19:23 47m 46s
Update silver submodule ci #1132: Commit 1b11869 pushed by viper-admin
June 25, 2024 19:23 14m 13s master
master
June 25, 2024 19:23 14m 13s
ci ci #1131: Manually run by viper-admin
June 25, 2024 19:02 13m 35s ci-test-0769bf595838c6fd190fc8f9092a0323f9d07f75
ci-test-0769bf595838c6fd190fc8f9092a0323f9d07f75
June 25, 2024 19:02 13m 35s
ci ci #1130: Manually run by viper-admin
June 25, 2024 19:01 13m 52s ci-test-aa727154eb211b91514fee754b772322e837ee1c
ci-test-aa727154eb211b91514fee754b772322e837ee1c
June 25, 2024 19:01 13m 52s
ci ci #1129: Manually run by viper-admin
June 25, 2024 13:26 13m 35s ci-test-c295837930686bea707174164bcb2cd0a8689a67
ci-test-c295837930686bea707174164bcb2cd0a8689a67
June 25, 2024 13:26 13m 35s
ci ci #1128: Manually run by viper-admin
June 24, 2024 07:58 13m 54s ci-test-20cf3e9350702e94259c071e7cf45472ede62a20
ci-test-20cf3e9350702e94259c071e7cf45472ede62a20
June 24, 2024 07:58 13m 54s