Skip to content

Actions: flyvy-verifier/flyvy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use multiple solvers in qalpha CI #776: Pull request #140 synchronize by edenfrenkel
August 14, 2023 16:54 4m 54s qalpha-multiple-solvers
qalpha-multiple-solvers
August 14, 2023 16:54 4m 54s
Use multiple solvers in qalpha CI #775: Pull request #140 synchronize by edenfrenkel
August 14, 2023 16:40 8m 12s qalpha-multiple-solvers
qalpha-multiple-solvers
August 14, 2023 16:40 8m 12s
Finite invariants CI #774: Pull request #152 opened by Alex-Fischman
August 11, 2023 18:20 9m 40s finite-invariants
finite-invariants
August 11, 2023 18:20 9m 40s
Set axiom handling CI #773: Pull request #151 synchronize by Alex-Fischman
August 10, 2023 23:43 7m 37s set-axiom-handling
set-axiom-handling
August 10, 2023 23:43 7m 37s
Set axiom handling CI #772: Pull request #151 opened by Alex-Fischman
August 10, 2023 23:18 6m 13s set-axiom-handling
set-axiom-handling
August 10, 2023 23:18 6m 13s
Symmetry breaking fingerprinting CI #771: Pull request #150 opened by Alex-Fischman
August 10, 2023 23:11 15m 53s symmetry-breaking-fingerprinting
symmetry-breaking-fingerprinting
August 10, 2023 23:11 15m 53s
Bounded refactor CI #770: Pull request #149 synchronize by Alex-Fischman
August 7, 2023 19:04 5m 18s bounded-refactor
bounded-refactor
August 7, 2023 19:04 5m 18s
Bounded refactor CI #769: Pull request #149 synchronize by Alex-Fischman
August 7, 2023 18:57 3m 37s bounded-refactor
bounded-refactor
August 7, 2023 18:57 3m 37s
Bounded refactor CI #768: Pull request #149 opened by Alex-Fischman
August 7, 2023 18:34 4m 34s bounded-refactor
bounded-refactor
August 7, 2023 18:34 4m 34s
Symmetry breaking CI #767: Pull request #148 synchronize by Alex-Fischman
August 7, 2023 17:57 7m 44s symmetry-breaking-add-all
symmetry-breaking-add-all
August 7, 2023 17:57 7m 44s
Symmetry breaking CI #766: Pull request #148 synchronize by Alex-Fischman
August 6, 2023 17:53 7m 11s symmetry-breaking-add-all
symmetry-breaking-add-all
August 6, 2023 17:53 7m 11s
Symmetry breaking CI #765: Pull request #148 opened by Alex-Fischman
August 6, 2023 17:39 6m 18s symmetry-breaking-add-all
symmetry-breaking-add-all
August 6, 2023 17:39 6m 18s
Better set program (#146) CI #764: Commit 96bbdb6 pushed by odedp
August 6, 2023 04:23 8m 35s main
main
August 6, 2023 04:23 8m 35s
Better set program CI #763: Pull request #146 synchronize by Alex-Fischman
August 4, 2023 22:21 6m 25s better-set-program
better-set-program
August 4, 2023 22:21 6m 25s
Better set program CI #762: Pull request #146 synchronize by Alex-Fischman
August 3, 2023 18:34 7m 59s better-set-program
better-set-program
August 3, 2023 18:34 7m 59s
Better set program CI #761: Pull request #146 synchronize by Alex-Fischman
August 2, 2023 23:25 5m 30s better-set-program
better-set-program
August 2, 2023 23:25 5m 30s
Better set program CI #760: Pull request #146 synchronize by Alex-Fischman
August 2, 2023 22:53 3m 34s better-set-program
better-set-program
August 2, 2023 22:53 3m 34s
Better set program CI #759: Pull request #146 synchronize by Alex-Fischman
August 2, 2023 00:35 6m 46s better-set-program
better-set-program
August 2, 2023 00:35 6m 46s
Better set program CI #758: Pull request #146 opened by Alex-Fischman
August 2, 2023 00:34 7m 14s better-set-program
better-set-program
August 2, 2023 00:34 7m 14s
Add benchmarking infrastructure to run verification CI #757: Pull request #142 synchronize by tchajed
August 1, 2023 15:31 5m 30s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 15:31 5m 30s
Add benchmarking infrastructure to run verification CI #756: Pull request #142 synchronize by tchajed
August 1, 2023 15:19 5m 15s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 15:19 5m 15s
Add benchmarking infrastructure to run verification CI #755: Pull request #142 synchronize by tchajed
August 1, 2023 15:15 4m 44s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 15:15 4m 44s
Add benchmarking infrastructure to run verification CI #754: Pull request #142 synchronize by tchajed
August 1, 2023 02:46 5m 0s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 02:46 5m 0s
Add benchmarking infrastructure to run verification CI #753: Pull request #142 synchronize by tchajed
August 1, 2023 02:44 4m 29s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 02:44 4m 29s
Add benchmarking infrastructure to run verification CI #752: Pull request #142 synchronize by tchajed
August 1, 2023 02:38 5m 13s tchajed/benchmark-timing
tchajed/benchmark-timing
August 1, 2023 02:38 5m 13s