Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,052 workflow runs
1,052 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #805 from viperproject/auto-update-submodules ci #1369: Commit a8f16df pushed by Dspil
February 12, 2024 06:15 13m 16s master
master
February 12, 2024 06:15 13m 16s
Update Submodules ci #1368: Pull request #805 opened by Dspil
February 12, 2024 06:02 13m 13s auto-update-submodules
auto-update-submodules
February 12, 2024 06:02 13m 13s
Updates submodules ci #1367: Commit 8d8abca pushed by Dspil
February 12, 2024 06:02 13m 29s auto-update-submodules
auto-update-submodules
February 12, 2024 06:02 13m 29s
Update Submodules Update Submodules #122: Scheduled
February 12, 2024 06:02 25s master
master
February 12, 2024 06:02 25s
Merge pull request #804 from viperproject/sem-highlight ci #1366: Commit 6cb2961 pushed by marcoeilers
February 11, 2024 11:18 14m 13s master
master
February 11, 2024 11:18 14m 13s
Add information required for LSP features to Parse AST ci #1365: Pull request #804 synchronize by marcoeilers
February 11, 2024 11:03 13m 1s sem-highlight
sem-highlight
February 11, 2024 11:03 13m 1s
Updating silver ci #1364: Commit 37f2919 pushed by marcoeilers
February 11, 2024 11:03 13m 44s sem-highlight
sem-highlight
February 11, 2024 11:03 13m 44s
Add information required for LSP features to Parse AST ci #1363: Pull request #804 synchronize by marcoeilers
February 11, 2024 10:48 12m 36s sem-highlight
sem-highlight
February 11, 2024 10:48 12m 36s
Merge ci #1362: Commit 524545a pushed by marcoeilers
February 11, 2024 10:48 12m 41s sem-highlight
sem-highlight
February 11, 2024 10:48 12m 41s
Update Submodules Update Submodules #121: Scheduled
February 11, 2024 06:02 17s master
master
February 11, 2024 06:02 17s
test fix of debugSubExp mechanism ci #1361: Commit 3a68ce9 pushed by AndreaKe
February 10, 2024 09:55 13m 34s keuscha/silicon-debugger
keuscha/silicon-debugger
February 10, 2024 09:55 13m 34s
test fix of debugSubExp mechanism ci #1360: Commit 5dc6feb pushed by AndreaKe
February 10, 2024 08:23 13m 12s keuscha/silicon-debugger
keuscha/silicon-debugger
February 10, 2024 08:23 13m 12s
Update Submodules Update Submodules #120: Scheduled
February 10, 2024 06:01 13s master
master
February 10, 2024 06:01 13s
Branching and renaming ci #1359: Commit eab5584 pushed by rayman2000
February 9, 2024 14:02 3m 10s nklose/biabduction-prototype
nklose/biabduction-prototype
February 9, 2024 14:02 3m 10s
Merge pull request #799 from Simon-Hostettler/shostettler_vdc ci #1358: Commit 635e18e pushed by Dspil
February 9, 2024 13:01 12m 31s master
master
February 9, 2024 13:01 12m 31s
Fixes ci #1357: Commit 18fd0d2 pushed by JonasAlaif
February 9, 2024 12:52 11m 20s sem-highlight
sem-highlight
February 9, 2024 12:52 11m 20s
Update Submodules Update Submodules #119: Scheduled
February 9, 2024 06:02 11s master
master
February 9, 2024 06:02 11s
viper-data-collection changes ci #1356: Pull request #799 synchronize by Simon-Hostettler
February 8, 2024 10:52 12m 27s shostettler_vdc
shostettler_vdc
February 8, 2024 10:52 12m 27s
Merge pull request #802 from viperproject/auto-update-submodules ci #1355: Commit 8fd9a8b pushed by Dspil
February 8, 2024 10:24 15m 1s master
master
February 8, 2024 10:24 15m 1s
viper-data-collection changes ci #1354: Pull request #799 synchronize by Simon-Hostettler
February 8, 2024 07:44 3m 14s shostettler_vdc
shostettler_vdc
February 8, 2024 07:44 3m 14s
Update Submodules ci #1353: Pull request #802 opened by Dspil
February 8, 2024 06:03 13m 43s auto-update-submodules
auto-update-submodules
February 8, 2024 06:03 13m 43s
Updates submodules ci #1352: Commit f891611 pushed by Dspil
February 8, 2024 06:03 14m 11s auto-update-submodules
auto-update-submodules
February 8, 2024 06:03 14m 11s
Update Submodules Update Submodules #118: Scheduled
February 8, 2024 06:02 19s master
master
February 8, 2024 06:02 19s
Merge pull request #800 from viperproject/auto-update-submodules ci #1351: Commit d3c84ac pushed by Dspil
February 7, 2024 14:30 12m 44s master
master
February 7, 2024 14:30 12m 44s
Update Submodules Update Submodules #117: Scheduled
February 7, 2024 06:02 19s master
master
February 7, 2024 06:02 19s
ProTip! You can narrow down the results and go further in time using created:<2024-02-07 or the other filters available.