Skip to content

Actions: viperproject/silicon

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Preserve correct trigger terms after quantifier evaluation (#982) ci #2620: Commit eb8db84 pushed by marcoeilers
In progress master
master
In progress
Preserve correct trigger terms after quantifier evaluation ci #2619: Pull request #982 synchronize by marcoeilers
10m 17s meilers_preserve_correct_triggers
meilers_preserve_correct_triggers
10m 17s
Adding test ci #2618: Commit 3ec389a pushed by marcoeilers
13m 51s meilers_preserve_correct_triggers
meilers_preserve_correct_triggers
13m 51s
Preserve correct trigger terms after quantifier evaluation ci #2617: Pull request #982 opened by marcoeilers
13m 21s meilers_preserve_correct_triggers
meilers_preserve_correct_triggers
13m 21s
Merge ci #2616: Commit f0d4bd9 pushed by marcoeilers
13m 20s meilers_preserve_correct_triggers
meilers_preserve_correct_triggers
13m 20s
Update silver submodule ci #2615: Commit d29f1db pushed by viper-admin
14m 0s master
master
14m 0s
Replaced incorrect debug expression (#981) ci #2614: Commit d473d09 pushed by marcoeilers
13m 33s master
master
13m 33s
Replaced incorrect debug expression ci #2613: Pull request #981 synchronize by marcoeilers
13m 35s meilers_fix_wrong_debug_exp
meilers_fix_wrong_debug_exp
13m 35s
Merge branch 'master' into meilers_fix_wrong_debug_exp ci #2612: Commit bc2d336 pushed by marcoeilers
14m 0s meilers_fix_wrong_debug_exp
meilers_fix_wrong_debug_exp
14m 0s
Recording old-expression triggers more cleanly (#980) ci #2611: Commit a99fd59 pushed by marcoeilers
13m 33s master
master
13m 33s
Replaced incorrect debug expression ci #2610: Pull request #981 opened by marcoeilers
10m 9s meilers_fix_wrong_debug_exp
meilers_fix_wrong_debug_exp
10m 9s
Replaced incorrect debug expression ci #2609: Commit beb6a0d pushed by marcoeilers
14m 24s meilers_fix_wrong_debug_exp
meilers_fix_wrong_debug_exp
14m 24s
Recording old-expression triggers more cleanly ci #2608: Pull request #980 synchronize by marcoeilers
14m 5s meilers_fix_old_triggers
meilers_fix_old_triggers
14m 5s
Adding test ci #2607: Commit dc87de3 pushed by marcoeilers
13m 25s meilers_fix_old_triggers
meilers_fix_old_triggers
13m 25s
Recording old-expression triggers more cleanly ci #2606: Pull request #980 opened by marcoeilers
13m 31s meilers_fix_old_triggers
meilers_fix_old_triggers
13m 31s
Recording old-expression triggers more cleanly ci #2605: Commit 7283409 pushed by marcoeilers
12m 37s meilers_fix_old_triggers
meilers_fix_old_triggers
12m 37s
Update Submodules Update Submodules #981: Scheduled
14s master
master
14s
Update Submodules Update Submodules #980: Scheduled
11s master
master
11s
Update Submodules Update Submodules #979: Scheduled
9s master
master
9s
Add --lazyImpureImplications optimization for produce/inhale ci #2604: Commit 9a2b60b pushed by jcp19
14m 1s claude/dreamy-goldberg-Icfcq
claude/dreamy-goldberg-Icfcq
14m 1s
Debugger records all old heaps and their parent heaps ci #2603: Pull request #973 synchronize by jackstodart
13m 10s jackstodart:reworking_debugger
jackstodart:reworking_debugger
13m 10s
Debugger records all old heaps and their parent heaps ci #2602: Pull request #973 synchronize by jackstodart
Action required jackstodart:reworking_debugger
jackstodart:reworking_debugger
Action required
Debugger records all old heaps and their parent heaps ci #2601: Pull request #973 synchronize by jackstodart
12m 55s jackstodart:reworking_debugger
jackstodart:reworking_debugger
12m 55s
Update Submodules Update Submodules #978: Scheduled
14s master
master
14s
Debugger records all old heaps and their parent heaps ci #2600: Pull request #973 synchronize by jackstodart
Action required jackstodart:reworking_debugger
jackstodart:reworking_debugger
Action required