Skip to content

Actions: viperproject/silicon

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
805 workflow runs
805 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #870 from viperproject/meilers_update_download_art… ci #1713: Commit 5e4efa1 pushed by marcoeilers
September 11, 2024 19:21 13m 24s master
master
September 11, 2024 19:21 13m 24s
Update download artifact ci #1712: Pull request #870 opened by marcoeilers
September 11, 2024 19:08 12m 52s meilers_update_download_artifact
meilers_update_download_artifact
September 11, 2024 19:08 12m 52s
Update download artifact ci #1711: Commit d39f836 pushed by marcoeilers
September 11, 2024 19:08 12m 28s meilers_update_download_artifact
meilers_update_download_artifact
September 11, 2024 19:08 12m 28s
Merge pull request #869 from viperproject/meilers_update_upload_artifact ci #1710: Commit ba06ec6 pushed by marcoeilers
September 11, 2024 18:43 12m 45s master
master
September 11, 2024 18:43 12m 45s
Update upload-artifact version ci #1709: Pull request #869 opened by marcoeilers
September 11, 2024 18:21 12m 19s meilers_update_upload_artifact
meilers_update_upload_artifact
September 11, 2024 18:21 12m 19s
Update upload-artifact version ci #1708: Commit 96ff421 pushed by marcoeilers
September 11, 2024 18:21 12m 29s meilers_update_upload_artifact
meilers_update_upload_artifact
September 11, 2024 18:21 12m 29s
Moved out of chunk consume and into normal consume and eval ci #1707: Commit 9197bcc pushed by rayman2000
September 11, 2024 18:07 10s nklose/biabduction-prototype
nklose/biabduction-prototype
September 11, 2024 18:07 10s
Update silver submodule ci #1706: Commit 58ba972 pushed by marcoeilers
September 11, 2024 17:47 13s v.24.08-release
v.24.08-release
September 11, 2024 17:47 13s
Moved everything into consume ci #1705: Commit c6c1217 pushed by rayman2000
September 10, 2024 18:17 5m 27s nklose/biabduction-prototype
nklose/biabduction-prototype
September 10, 2024 18:17 5m 27s
silver update ci #1704: Commit 84ef300 pushed by rayman2000
September 10, 2024 14:45 49m 0s nklose/biabduction-prototype
nklose/biabduction-prototype
September 10, 2024 14:45 49m 0s
Update silver submodule ci #1703: Commit 58ba972 pushed by viper-admin
September 6, 2024 14:47 13m 2s master
master
September 6, 2024 14:47 13m 2s
Merge pull request #812 from viperproject/auto-update-submodules ci #1701: Commit 96892ed pushed by marcoeilers
September 4, 2024 09:24 13m 8s 24.08-RC
24.08-RC
September 4, 2024 09:24 13m 8s
Merge pull request #812 from viperproject/auto-update-submodules ci #1700: Commit 96892ed pushed by Dspil
September 4, 2024 06:15 49m 53s master
master
September 4, 2024 06:15 49m 53s
Update Submodules ci #1699: Pull request #812 synchronize by Dspil
September 4, 2024 06:03 12m 28s auto-update-submodules
auto-update-submodules
September 4, 2024 06:03 12m 28s
Updates submodules ci #1698: Commit d0690cb pushed by Dspil
September 4, 2024 06:02 12m 26s auto-update-submodules
auto-update-submodules
September 4, 2024 06:02 12m 26s
Merge pull request #866 from viperproject/meilers_fix_git ci #1697: Commit 1e06ef8 pushed by marcoeilers
September 3, 2024 14:01 46m 55s master
master
September 3, 2024 14:01 46m 55s
Trying to fix silver build ci #1696: Pull request #866 synchronize by marcoeilers
September 3, 2024 13:47 12m 39s meilers_fix_git
meilers_fix_git
September 3, 2024 13:47 12m 39s
Merge ci #1695: Commit 23986cd pushed by marcoeilers
September 3, 2024 13:47 14m 9s meilers_fix_git
meilers_fix_git
September 3, 2024 13:47 14m 9s
Trying to fix silver build ci #1694: Commit 73058c2 pushed by marcoeilers
September 3, 2024 13:43 12m 23s meilers_fix_git
meilers_fix_git
September 3, 2024 13:43 12m 23s
We back baby! ci #1693: Commit 728886c pushed by rayman2000
September 2, 2024 15:59 45m 27s nklose/biabduction-prototype
nklose/biabduction-prototype
September 2, 2024 15:59 45m 27s
Merge pull request #865 from viperproject/meilers_debugging_qp_fix ci #1692: Commit e3a690b pushed by marcoeilers
September 2, 2024 14:48 12m 46s master
master
September 2, 2024 14:48 12m 46s
Fixed pretty-printing of quantified chunks in debugger ci #1691: Pull request #865 synchronize by marcoeilers
September 2, 2024 14:35 12m 32s meilers_debugging_qp_fix
meilers_debugging_qp_fix
September 2, 2024 14:35 12m 32s
Merge branch 'master' into meilers_debugging_qp_fix ci #1690: Commit c56647a pushed by marcoeilers
September 2, 2024 14:35 12m 21s meilers_debugging_qp_fix
meilers_debugging_qp_fix
September 2, 2024 14:35 12m 21s
Fixed pretty-printing of quantified chunks in debugger ci #1689: Pull request #865 opened by marcoeilers
September 2, 2024 14:35 49m 27s meilers_debugging_qp_fix
meilers_debugging_qp_fix
September 2, 2024 14:35 49m 27s
Fixed pretty-printing of quantified chunks ci #1688: Commit 4fc123c pushed by marcoeilers
September 2, 2024 14:34 12m 38s meilers_debugging_qp_fix
meilers_debugging_qp_fix
September 2, 2024 14:34 12m 38s