Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow run results
76 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Simplify wildcard multiplication ci #1350: Pull request #756 synchronize by marcoeilers
February 6, 2024 20:16 15m 5s meilers_wildcard_mult
meilers_wildcard_mult
February 6, 2024 20:16 15m 5s
Merge branch 'master' into meilers_wildcard_mult ci #1349: Commit e78c80d pushed by marcoeilers
February 6, 2024 20:16 12m 19s meilers_wildcard_mult
meilers_wildcard_mult
February 6, 2024 20:16 12m 19s
Fixed state for methods calls and continuation problems with evaluati… ci #1348: Commit af9550e pushed by rayman2000
February 6, 2024 15:51 3m 9s nklose/biabduction-prototype
nklose/biabduction-prototype
February 6, 2024 15:51 3m 9s
Update Submodules Update Submodules #116: Scheduled
February 6, 2024 06:02 19s master
master
February 6, 2024 06:02 19s
Moved abduction to top level ci #1347: Commit 73d2645 pushed by rayman2000
February 5, 2024 16:46 12m 57s nklose/biabduction-prototype
nklose/biabduction-prototype
February 5, 2024 16:46 12m 57s
Update Submodules Update Submodules #115: Scheduled
February 5, 2024 06:02 26s master
master
February 5, 2024 06:02 26s
test pipeline with debugging enabled ci #1346: Commit 062cf90 pushed by AndreaKe
February 4, 2024 08:17 16m 21s keuscha/silicon-debugger
keuscha/silicon-debugger
February 4, 2024 08:17 16m 21s
fix quantifiers in debug mode ci #1345: Commit 98ca69c pushed by AndreaKe
February 4, 2024 07:56 13m 46s keuscha/silicon-debugger
keuscha/silicon-debugger
February 4, 2024 07:56 13m 46s
fix quantifiers in debug mode ci #1344: Commit f696f03 pushed by AndreaKe
February 4, 2024 07:56 3m 19s keuscha/silicon-debugger
keuscha/silicon-debugger
February 4, 2024 07:56 3m 19s
Update Submodules Update Submodules #114: Scheduled
February 4, 2024 06:02 21s master
master
February 4, 2024 06:02 21s
Update Submodules ci #1343: Pull request #800 opened by Dspil
February 3, 2024 06:02 11m 54s auto-update-submodules
auto-update-submodules
February 3, 2024 06:02 11m 54s
Updates submodules ci #1342: Commit 6560b3d pushed by Dspil
February 3, 2024 06:02 12m 13s auto-update-submodules
auto-update-submodules
February 3, 2024 06:02 12m 13s
Update Submodules Update Submodules #113: Scheduled
February 3, 2024 06:01 19s master
master
February 3, 2024 06:01 19s
Update Submodules Update Submodules #112: Scheduled
February 2, 2024 06:02 13s master
master
February 2, 2024 06:02 13s
Update Submodules Update Submodules #111: Scheduled
February 1, 2024 06:02 17s master
master
February 1, 2024 06:02 17s
fix startDebugSubExp ci #1341: Commit d9a4506 pushed by AndreaKe
January 31, 2024 10:36 13m 29s keuscha/silicon-debugger
keuscha/silicon-debugger
January 31, 2024 10:36 13m 29s
test startDebugSubExp ci #1340: Commit 90646f4 pushed by AndreaKe
January 31, 2024 10:18 14m 14s keuscha/silicon-debugger
keuscha/silicon-debugger
January 31, 2024 10:18 14m 14s
test startDebugSubExp ci #1339: Commit 5288f1e pushed by AndreaKe
January 31, 2024 09:55 13m 44s keuscha/silicon-debugger
keuscha/silicon-debugger
January 31, 2024 09:55 13m 44s
test startDebugSubExp ci #1338: Commit 1063cf6 pushed by AndreaKe
January 31, 2024 09:20 15m 35s keuscha/silicon-debugger
keuscha/silicon-debugger
January 31, 2024 09:20 15m 35s
test startDebugSubExp ci #1337: Commit 16d9da3 pushed by AndreaKe
January 31, 2024 07:15 14m 33s keuscha/silicon-debugger
keuscha/silicon-debugger
January 31, 2024 07:15 14m 33s
Update Submodules Update Submodules #110: Scheduled
January 31, 2024 06:01 12s master
master
January 31, 2024 06:01 12s
viper-data-collection changes ci #1336: Pull request #799 opened by Simon-Hostettler
January 30, 2024 13:18 3m 20s shostettler_vdc
shostettler_vdc
January 30, 2024 13:18 3m 20s
Update Submodules Update Submodules #109: Scheduled
January 30, 2024 06:02 15s master
master
January 30, 2024 06:02 15s
Update Submodules Update Submodules #108: Scheduled
January 29, 2024 06:02 12s master
master
January 29, 2024 06:02 12s
Update Submodules Update Submodules #107: Scheduled
January 28, 2024 06:02 12s master
master
January 28, 2024 06:02 12s