Skip to content

Actions: powdr-labs/powdr

PR tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,732 workflow run results
6,732 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Traits overlapping
PR tests #6835: Pull request #1601 synchronize by gzanitti
July 25, 2024 22:17 3m 44s gzanitti:check_traits_overlapping
July 25, 2024 22:17 3m 44s
Matrix test run.
PR tests #6833: Pull request #1618 opened by chriseth
July 25, 2024 21:28 21m 48s matrix_run
July 25, 2024 21:28 21m 48s
Traits overlapping
PR tests #6832: Pull request #1601 synchronize by gzanitti
July 25, 2024 21:08 6m 48s gzanitti:check_traits_overlapping
July 25, 2024 21:08 6m 48s
Traits overlapping
PR tests #6831: Pull request #1601 synchronize by gzanitti
July 25, 2024 21:07 4m 25s gzanitti:check_traits_overlapping
July 25, 2024 21:07 4m 25s
Even more quick tests
PR tests #6830: Pull request #1613 synchronize by chriseth
July 25, 2024 21:06 37m 12s even_more_tests
July 25, 2024 21:06 37m 12s
Create separate runner for examples.
PR tests #6829: Pull request #1617 opened by chriseth
July 25, 2024 20:58 33m 22s run_examples_in_own_runner
July 25, 2024 20:58 33m 22s
Fix clippy with disabled halo2 (#1614)
PR tests #6828: Commit 2ff93f4 pushed by github-merge-queue bot
July 25, 2024 20:10 39m 23s main
July 25, 2024 20:10 39m 23s
Speed up some more quick tests (#1612)
PR tests #6827: Commit 995f61e pushed by github-merge-queue bot
July 25, 2024 19:48 37m 53s main
July 25, 2024 19:48 37m 53s
PR tests
PR tests #6826: Merge group checks requested
July 25, 2024 19:32 38m 3s
July 25, 2024 19:32 38m 3s
More sane multimap when parsing debug symbols from Elf.
PR tests #6825: Pull request #1616 opened by lvella
July 25, 2024 19:21 47m 44s better-multimap
July 25, 2024 19:21 47m 44s
Traits overlapping
PR tests #6824: Pull request #1601 synchronize by gzanitti
July 25, 2024 19:14 30m 16s gzanitti:check_traits_overlapping
July 25, 2024 19:14 30m 16s
PR tests
PR tests #6823: Merge group checks requested
July 25, 2024 19:10 37m 43s
July 25, 2024 19:10 37m 43s
Even more quick tests
PR tests #6822: Pull request #1613 synchronize by chriseth
July 25, 2024 19:02 21m 16s even_more_tests
July 25, 2024 19:02 21m 16s
Fix clippy with disabled halo2
PR tests #6821: Pull request #1614 opened by chriseth
July 25, 2024 18:52 38m 37s fix_clippy_halo2
July 25, 2024 18:52 38m 37s
Even more quick tests
PR tests #6820: Pull request #1613 synchronize by chriseth
July 25, 2024 18:49 21m 21s even_more_tests
July 25, 2024 18:49 21m 21s
Speed up some more quick tests
PR tests #6819: Pull request #1612 synchronize by chriseth
July 25, 2024 18:31 38m 23s speed_up_some_more_quick_tests
July 25, 2024 18:31 38m 23s
Aggregating challenges of all proofs
PR tests #6818: Pull request #1603 synchronize by lvella
July 25, 2024 18:26 44m 4s composite-threads
July 25, 2024 18:26 44m 4s
Speed up quick tests (#1611)
PR tests #6817: Commit 6774287 pushed by github-merge-queue bot
July 25, 2024 18:21 38m 22s main
July 25, 2024 18:21 38m 22s
Traits overlapping
PR tests #6816: Pull request #1601 synchronize by gzanitti
July 25, 2024 18:18 30m 27s gzanitti:check_traits_overlapping
July 25, 2024 18:18 30m 27s
PR tests
PR tests #6815: Merge group checks requested
July 25, 2024 17:42 38m 34s
July 25, 2024 17:42 38m 34s
Traits overlapping
PR tests #6814: Pull request #1601 synchronize by gzanitti
July 25, 2024 17:14 55m 42s gzanitti:check_traits_overlapping
July 25, 2024 17:14 55m 42s
Speed up some more quick tests
PR tests #6812: Pull request #1612 opened by chriseth
July 25, 2024 16:28 37m 9s speed_up_some_more_quick_tests
July 25, 2024 16:28 37m 9s
Speed up quick tests
PR tests #6811: Pull request #1611 synchronize by chriseth
July 25, 2024 15:46 37m 52s speed_up_quick_tests
July 25, 2024 15:46 37m 52s