Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merging added chunks properly ci #1749: Commit 8645c6c pushed by marcoeilers
October 15, 2024 22:36 10s meilers_kinduct_merge_chunks
meilers_kinduct_merge_chunks
October 15, 2024 22:36 10s
Merge ci #1748: Commit 4e6ac3b pushed by marcoeilers
October 15, 2024 21:57 13s meilers_kinduction
meilers_kinduction
October 15, 2024 21:57 13s
Merge pull request #876 from viperproject/meilers_fix_862 ci #1747: Commit 8641490 pushed by marcoeilers
October 15, 2024 15:57 15m 28s master
master
October 15, 2024 15:57 15m 28s
Checking only read permissions when asserting function preconditions ci #1746: Pull request #877 opened by marcoeilers
October 15, 2024 15:45 15m 7s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 15:45 15m 7s
Fixing issue #862 ci #1745: Pull request #876 opened by marcoeilers
October 15, 2024 15:27 15m 22s meilers_fix_862
meilers_fix_862
October 15, 2024 15:27 15m 22s
Fixing issue #862 ci #1744: Commit c9832eb pushed by marcoeilers
October 15, 2024 13:55 15m 50s meilers_fix_862
meilers_fix_862
October 15, 2024 13:55 15m 50s
Update silver ci #1743: Commit 1a87e57 pushed by marcoeilers
October 15, 2024 13:37 12m 29s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 13:37 12m 29s
Fix test ci #1742: Commit c6fe45d pushed by marcoeilers
October 15, 2024 13:15 15m 50s meilers_assert_read_only
meilers_assert_read_only
October 15, 2024 13:15 15m 50s
Update Submodules Update Submodules #374: Scheduled
October 15, 2024 06:02 15s master
master
October 15, 2024 06:02 15s
Update Submodules Update Submodules #373: Scheduled
October 14, 2024 06:02 12s master
master
October 14, 2024 06:02 12s
Update test annotation ci #1741: Commit 0ed3647 pushed by marcoeilers
October 13, 2024 19:58 12m 15s meilers_assert_read_only
meilers_assert_read_only
October 13, 2024 19:58 12m 15s
Assert-read-only function preconditions ci #1740: Commit f49fee0 pushed by marcoeilers
October 13, 2024 18:25 12m 47s meilers_assert_read_only
meilers_assert_read_only
October 13, 2024 18:25 12m 47s
Update Submodules Update Submodules #372: Scheduled
October 13, 2024 06:02 18s master
master
October 13, 2024 06:02 18s
Update Submodules Update Submodules #371: Scheduled
October 12, 2024 06:02 17s master
master
October 12, 2024 06:02 17s
Update Submodules Update Submodules #370: Scheduled
October 11, 2024 06:02 15s master
master
October 11, 2024 06:02 15s
Update Submodules Update Submodules #369: Scheduled
October 10, 2024 06:02 12s master
master
October 10, 2024 06:02 12s
Update Submodules Update Submodules #368: Scheduled
October 9, 2024 06:02 19s master
master
October 9, 2024 06:02 19s
Update Submodules Update Submodules #367: Scheduled
October 8, 2024 06:02 23s master
master
October 8, 2024 06:02 23s
Update Submodules Update Submodules #366: Scheduled
October 7, 2024 06:02 19s master
master
October 7, 2024 06:02 19s
Update Submodules Update Submodules #365: Scheduled
October 6, 2024 06:02 13s master
master
October 6, 2024 06:02 13s
Update Submodules Update Submodules #364: Scheduled
October 5, 2024 06:02 15s master
master
October 5, 2024 06:02 15s
Support for new asserting expressions ci #1739: Pull request #875 synchronize by marcoeilers
October 4, 2024 11:32 12m 31s meilers_asserting
meilers_asserting
October 4, 2024 11:32 12m 31s
Resetting heap instead of throwing away entire state after checking a… ci #1738: Commit 52f94d2 pushed by marcoeilers
October 4, 2024 11:32 12m 26s meilers_asserting
meilers_asserting
October 4, 2024 11:32 12m 26s
Update Submodules Update Submodules #363: Scheduled
October 4, 2024 06:02 17s master
master
October 4, 2024 06:02 17s
Support for new asserting expressions ci #1737: Pull request #875 opened by marcoeilers
October 3, 2024 16:25 13m 6s meilers_asserting
meilers_asserting
October 3, 2024 16:25 13m 6s