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

add enableDebug config flag ci #1335: Commit 2a77dfe pushed by AndreaKe
January 27, 2024 16:10 13m 45s keuscha/silicon-debugger
keuscha/silicon-debugger
January 27, 2024 16:10 13m 45s
add enableDebug config flag ci #1334: Commit 341a20b pushed by AndreaKe
January 27, 2024 16:01 6m 11s keuscha/silicon-debugger
keuscha/silicon-debugger
January 27, 2024 16:01 6m 11s
workaround for debug sub exp error (empty list) ci #1333: Commit 0d4f622 pushed by AndreaKe
January 27, 2024 14:50 21m 36s keuscha/silicon-debugger
keuscha/silicon-debugger
January 27, 2024 14:50 21m 36s
workaround for debug sub exp error (empty list) ci #1332: Commit b3ef207 pushed by AndreaKe
January 27, 2024 12:12 25m 12s keuscha/silicon-debugger
keuscha/silicon-debugger
January 27, 2024 12:12 25m 12s
fix bug ci #1331: Commit a892844 pushed by AndreaKe
January 27, 2024 11:32 13m 26s keuscha/silicon-debugger
keuscha/silicon-debugger
January 27, 2024 11:32 13m 26s
Update Submodules Update Submodules #106: Scheduled
January 27, 2024 06:02 13s master
master
January 27, 2024 06:02 13s
Some abduction is working whoop whoop ci #1330: Commit 4d99c33 pushed by rayman2000
January 26, 2024 16:14 9m 57s nklose/biabduction-prototype
nklose/biabduction-prototype
January 26, 2024 16:14 9m 57s
extract custom silver behavior ci #1329: Commit 89bfaa8 pushed by AndreaKe
January 26, 2024 10:22 24s keuscha/silicon-debugger
keuscha/silicon-debugger
January 26, 2024 10:22 24s
extract custom silver behavior ci #1328: Commit 2574ccd pushed by AndreaKe
January 26, 2024 10:20 25s keuscha/silicon-debugger
keuscha/silicon-debugger
January 26, 2024 10:20 25s
extract custom silver behavior ci #1327: Commit e12f5bd pushed by AndreaKe
January 26, 2024 10:15 27s keuscha/silicon-debugger
keuscha/silicon-debugger
January 26, 2024 10:15 27s
Update Submodules Update Submodules #105: Scheduled
January 26, 2024 06:02 17s master
master
January 26, 2024 06:02 17s
Finished fold and added missing ci #1326: Commit 5779408 pushed by rayman2000
January 25, 2024 17:44 3m 17s nklose/biabduction-prototype
nklose/biabduction-prototype
January 25, 2024 17:44 3m 17s
Update Submodules Update Submodules #104: Scheduled
January 25, 2024 06:02 14s master
master
January 25, 2024 06:02 14s
Update Submodules Update Submodules #103: Scheduled
January 24, 2024 06:02 12s master
master
January 24, 2024 06:02 12s
implement sourcePNodeInfo ci #1325: Commit dc622f0 pushed by AndreaKe
January 23, 2024 14:14 40m 14s keuscha/silicon-debugger
keuscha/silicon-debugger
January 23, 2024 14:14 40m 14s
Merge pull request #798 from viperproject/auto-update-submodules ci #1324: Commit 7fea2aa pushed by Dspil
January 23, 2024 09:49 12m 20s master
master
January 23, 2024 09:49 12m 20s
Update Submodules ci #1323: Pull request #798 synchronize by Dspil
January 23, 2024 06:02 12m 24s auto-update-submodules
auto-update-submodules
January 23, 2024 06:02 12m 24s
Updates submodules ci #1322: Commit b5366ef pushed by Dspil
January 23, 2024 06:02 12m 24s auto-update-submodules
auto-update-submodules
January 23, 2024 06:02 12m 24s
Update Submodules Update Submodules #102: Scheduled
January 23, 2024 06:02 18s master
master
January 23, 2024 06:02 18s
Update Submodules ci #1321: Pull request #798 opened by Dspil
January 22, 2024 16:37 23m 20s auto-update-submodules
auto-update-submodules
January 22, 2024 16:37 23m 20s
Updates submodules ci #1320: Commit 9d8de1c pushed by Dspil
January 22, 2024 16:37 25m 52s auto-update-submodules
auto-update-submodules
January 22, 2024 16:37 25m 52s
Update Submodules Update Submodules #101: Manually run by jcp19
January 22, 2024 16:37 26s master
master
January 22, 2024 16:37 26s
Merge pull request #642 from viperproject/meilers_seq_set_axioms ci #1319: Commit 937d873 pushed by marcoeilers
January 22, 2024 16:28 12m 27s master
master
January 22, 2024 16:28 12m 27s
Carbon's sequence, set, and multiset options for Silicon ci #1318: Pull request #642 synchronize by marcoeilers
January 22, 2024 15:35 12m 57s meilers_seq_set_axioms
meilers_seq_set_axioms
January 22, 2024 15:35 12m 57s
Merge branch 'master' into meilers_seq_set_axioms ci #1317: Commit 1a1dfa2 pushed by marcoeilers
January 22, 2024 15:34 12m 4s meilers_seq_set_axioms
meilers_seq_set_axioms
January 22, 2024 15:34 12m 4s
ProTip! You can narrow down the results and go further in time using created:<2024-01-22 or the other filters available.