Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add formatter for the parse AST ci #1779: Pull request #880 opened by LaurenzV
November 28, 2024 10:18 Action required LaurenzV:format-rnode
LaurenzV:format-rnode
November 28, 2024 10:18 Action required
Update Submodules Update Submodules #418: Scheduled
November 28, 2024 06:03 18s master
master
November 28, 2024 06:03 18s
Optional Snapshot Generation in Consume ci #1778: Pull request #879 synchronize by mlimbeck
November 27, 2024 14:44 12m 33s mlimbeck:mlimbeck-consume-snap-optional
mlimbeck:mlimbeck-consume-snap-optional
November 27, 2024 14:44 12m 33s
Update Submodules Update Submodules #417: Scheduled
November 27, 2024 06:02 18s master
master
November 27, 2024 06:02 18s
Optional Snapshot Generation in Consume ci #1777: Pull request #879 synchronize by mlimbeck
November 26, 2024 16:06 12m 24s mlimbeck:mlimbeck-consume-snap-optional
mlimbeck:mlimbeck-consume-snap-optional
November 26, 2024 16:06 12m 24s
Optional Snapshot Generation in Consume ci #1776: Pull request #879 opened by mlimbeck
November 26, 2024 15:47 15m 41s mlimbeck:mlimbeck-consume-snap-optional
mlimbeck:mlimbeck-consume-snap-optional
November 26, 2024 15:47 15m 41s
Update Submodules Update Submodules #416: Scheduled
November 26, 2024 06:02 13s master
master
November 26, 2024 06:02 13s
Update Submodules Update Submodules #415: Scheduled
November 25, 2024 06:02 18s master
master
November 25, 2024 06:02 18s
Update Submodules Update Submodules #414: Scheduled
November 24, 2024 06:02 17s master
master
November 24, 2024 06:02 17s
Update Submodules Update Submodules #413: Scheduled
November 23, 2024 06:02 17s master
master
November 23, 2024 06:02 17s
Update Submodules Update Submodules #412: Scheduled
November 22, 2024 06:02 15s master
master
November 22, 2024 06:02 15s
Conditional aux statements for outside of loops. ci #1775: Commit 8f27369 pushed by rayman2000
November 21, 2024 18:32 23s nklose/biabduction-prototype
nklose/biabduction-prototype
November 21, 2024 18:32 23s
Update Submodules Update Submodules #411: Scheduled
November 21, 2024 06:02 15s master
master
November 21, 2024 06:02 15s
Update Submodules Update Submodules #410: Scheduled
November 20, 2024 06:02 14s master
master
November 20, 2024 06:02 14s
Update Submodules Update Submodules #409: Scheduled
November 19, 2024 06:02 19s master
master
November 19, 2024 06:02 19s
Branching und unfolds looking good now. ci #1774: Commit 803d6cf pushed by rayman2000
November 18, 2024 16:50 12s nklose/biabduction-prototype
nklose/biabduction-prototype
November 18, 2024 16:50 12s
Update Submodules Update Submodules #408: Scheduled
November 18, 2024 06:02 19s master
master
November 18, 2024 06:02 19s
Update Submodules Update Submodules #407: Scheduled
November 17, 2024 06:02 11s master
master
November 17, 2024 06:02 11s
Update Submodules Update Submodules #406: Scheduled
November 16, 2024 06:02 14s master
master
November 16, 2024 06:02 14s
Worked on branching stuff a bunch ci #1773: Commit afaae51 pushed by rayman2000
November 15, 2024 16:22 15s nklose/biabduction-prototype
nklose/biabduction-prototype
November 15, 2024 16:22 15s
Update Submodules Update Submodules #405: Scheduled
November 15, 2024 06:02 14s master
master
November 15, 2024 06:02 14s
Update Submodules Update Submodules #404: Scheduled
November 14, 2024 06:02 12s master
master
November 14, 2024 06:02 12s
Update silver submodule ci #1772: Commit 2257d9c pushed by viper-admin
November 13, 2024 18:51 13m 5s master
master
November 13, 2024 18:51 13m 5s
Merge pull request #875 from viperproject/meilers_asserting ci #1771: Commit 115f3f4 pushed by marcoeilers
November 13, 2024 16:23 12m 40s master
master
November 13, 2024 16:23 12m 40s
Support for new asserting expressions ci #1770: Pull request #875 synchronize by marcoeilers
November 13, 2024 15:59 15m 26s meilers_asserting
meilers_asserting
November 13, 2024 15:59 15m 26s