Skip to content

Actions: cucapra/protocols

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,461 workflow runs
2,461 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
Optimize Pre-Phase Unrolling in Meta-Automaton (#303) Protocols Tests #2941: Commit 53ed0b5 pushed by Nikil-Shyamsunder
2m 43s main
main
2m 43s
Optimize Pre-Phase Unrolling in Meta-Automaton Protocols Tests #2940: Pull request #303 ready_for_review by Nikil-Shyamsunder
2m 44s pre-phase-unrolling
pre-phase-unrolling
2m 44s
Optimize Pre-Phase Unrolling in Meta-Automaton Protocols Tests #2939: Pull request #303 synchronize by Nikil-Shyamsunder
2m 47s pre-phase-unrolling
pre-phase-unrolling
2m 47s
fix the pre-phase unrolling Protocols Tests #2938: Commit 5f71c76 pushed by Nikil-Shyamsunder
2m 46s pre-phase-unrolling
pre-phase-unrolling
2m 46s
Optimize Pre-Phase Unrolling in Meta-Automaton Protocols Tests #2937: Pull request #303 synchronize by Nikil-Shyamsunder
1m 38s pre-phase-unrolling
pre-phase-unrolling
1m 38s
fix the pre-phase unrolling Protocols Tests #2936: Commit 1296864 pushed by Nikil-Shyamsunder
1m 38s pre-phase-unrolling
pre-phase-unrolling
1m 38s
Optimize Pre-Phase Unrolling in Meta-Automaton Protocols Tests #2935: Pull request #303 synchronize by Nikil-Shyamsunder
1m 38s pre-phase-unrolling
pre-phase-unrolling
1m 38s
fix the pre-phase unrolling Protocols Tests #2934: Commit 4efb6b7 pushed by Nikil-Shyamsunder
1m 37s pre-phase-unrolling
pre-phase-unrolling
1m 37s
Optimize Pre-Phase Unrolling in Meta-Automaton Protocols Tests #2933: Pull request #303 opened by Nikil-Shyamsunder
2m 51s pre-phase-unrolling
pre-phase-unrolling
2m 51s
fix the pre-phase unrolling Protocols Tests #2932: Commit 1db1fb7 pushed by Nikil-Shyamsunder
2m 38s pre-phase-unrolling
pre-phase-unrolling
2m 38s
Meta-automata (#302) Protocols Tests #2931: Commit 477ad92 pushed by Nikil-Shyamsunder
4m 55s main
main
4m 55s
Meta-automata Protocols Tests #2930: Pull request #302 ready_for_review by Nikil-Shyamsunder
2m 45s meta-automaton
meta-automaton
2m 45s
Meta-automata Protocols Tests #2929: Pull request #302 synchronize by Nikil-Shyamsunder
2m 58s meta-automaton
meta-automaton
2m 58s
setup snapshot testing Protocols Tests #2928: Commit f4eb27c pushed by Nikil-Shyamsunder
2m 51s meta-automaton
meta-automaton
2m 51s
Meta-automata Protocols Tests #2927: Pull request #302 synchronize by Nikil-Shyamsunder
2m 45s meta-automaton
meta-automaton
2m 45s
setup snapshot testing Protocols Tests #2926: Commit ab0dbfa pushed by Nikil-Shyamsunder
2m 46s meta-automaton
meta-automaton
2m 46s
Meta-automata Protocols Tests #2925: Pull request #302 opened by Nikil-Shyamsunder
5m 11s meta-automaton
meta-automaton
5m 11s
setup snapshot testing Protocols Tests #2924: Commit c076388 pushed by Nikil-Shyamsunder
4m 36s meta-automaton
meta-automaton
4m 36s
[do not review] old no-fork monitor Protocols Tests #2923: Pull request #301 synchronize by Nikil-Shyamsunder
6m 25s monitor
monitor
6m 25s
lower to monitor teansition system Protocols Tests #2922: Commit 55fcb1d pushed by Nikil-Shyamsunder
4m 54s monitor
monitor
4m 54s
[do not review] old no-fork monitor Protocols Tests #2921: Pull request #301 opened by Nikil-Shyamsunder
5m 25s monitor
monitor
5m 25s
lower to monitor teansition system Protocols Tests #2920: Commit 51387af pushed by Nikil-Shyamsunder
5m 7s monitor
monitor
5m 7s
Update installation script to match current Rust version (1.95) Protocols Tests #2919: Commit 6af4ccb pushed by ngernest
2m 44s main
main
2m 44s
Merge remote-tracking branch 'origin/main' into fix_c4 Protocols Tests #2918: Commit 9c1bb20 pushed by ngernest
2m 53s main
main
2m 53s
Merge remote-tracking branch 'origin/main' into fix_c4 Protocols Tests #2917: Commit 9c1bb20 pushed by ngernest
2m 42s fix_c4
fix_c4
2m 42s