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

Add smart constructors for terms, and other improvements to fly/src/syntax.rs CI #701: Pull request #131 synchronize by odedp
July 23, 2023 02:45 7m 45s more-smart-constructors
more-smart-constructors
July 23, 2023 02:45 7m 45s
Non bool relations CI #700: Pull request #130 synchronize by Alex-Fischman
July 22, 2023 21:36 6m 2s non-bool-relations
non-bool-relations
July 22, 2023 21:36 6m 2s
Non bool relations CI #699: Pull request #130 synchronize by Alex-Fischman
July 22, 2023 21:30 6m 19s non-bool-relations
non-bool-relations
July 22, 2023 21:30 6m 19s
Opt-in to clippy suggestion to inline format! args (#133) CI #698: Commit 64cfa54 pushed by tchajed
July 22, 2023 19:46 6m 37s main
main
July 22, 2023 19:46 6m 37s
Opt-in to clippy suggestion to inline format! args CI #697: Pull request #133 synchronize by tchajed
July 22, 2023 19:39 6m 4s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 22, 2023 19:39 6m 4s
Non bool relations CI #696: Pull request #130 synchronize by Alex-Fischman
July 22, 2023 18:34 7m 10s non-bool-relations
non-bool-relations
July 22, 2023 18:34 7m 10s
Opt-in to clippy suggestion to inline format! args CI #695: Pull request #133 synchronize by tchajed
July 22, 2023 17:46 6m 4s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 22, 2023 17:46 6m 4s
Checkers return models (#129) CI #694: Commit f50c672 pushed by tchajed
July 22, 2023 17:37 5m 41s main
main
July 22, 2023 17:37 5m 41s
Add liveness to safety construction for supporting temporal proofs CI #693: Pull request #134 opened by odedp
July 22, 2023 07:19 6m 54s temporal-first-take
temporal-first-take
July 22, 2023 07:19 6m 54s
Add smart constructors for terms, and other improvements to fly/src/syntax.rs CI #692: Pull request #131 synchronize by odedp
July 22, 2023 06:13 6m 19s more-smart-constructors
more-smart-constructors
July 22, 2023 06:13 6m 19s
Add smart constructors for terms, and other improvements to fly/src/syntax.rs CI #691: Pull request #131 synchronize by odedp
July 22, 2023 05:55 6m 19s more-smart-constructors
more-smart-constructors
July 22, 2023 05:55 6m 19s
Checkers return models CI #690: Pull request #129 synchronize by Alex-Fischman
July 21, 2023 22:21 5m 59s checkers-return-models
checkers-return-models
July 21, 2023 22:21 5m 59s
Opt-in to clippy suggestion to inline format! args CI #689: Pull request #133 synchronize by tchajed
July 21, 2023 20:41 6m 56s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 21, 2023 20:41 6m 56s
Opt-in to clippy suggestion to inline format! args CI #688: Pull request #133 synchronize by tchajed
July 21, 2023 20:31 6m 55s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 21, 2023 20:31 6m 55s
Opt-in to clippy suggestion to inline format! args CI #687: Pull request #133 synchronize by tchajed
July 21, 2023 20:01 7m 23s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 21, 2023 20:01 7m 23s
Opt-in to clippy suggestion to inline format! args CI #686: Pull request #133 synchronize by tchajed
July 21, 2023 18:58 5m 25s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 21, 2023 18:58 5m 25s
Opt-in to clippy suggestion to inline format! args CI #685: Pull request #133 opened by tchajed
July 21, 2023 18:48 5m 5s tchajed/clippy-inline-format-args
tchajed/clippy-inline-format-args
July 21, 2023 18:48 5m 5s
Non bool relations CI #684: Pull request #130 synchronize by Alex-Fischman
July 21, 2023 18:41 7m 0s non-bool-relations
non-bool-relations
July 21, 2023 18:41 7m 0s
Checkers return models CI #683: Pull request #129 synchronize by Alex-Fischman
July 21, 2023 18:40 7m 35s checkers-return-models
checkers-return-models
July 21, 2023 18:40 7m 35s
Checkers return models CI #682: Pull request #129 synchronize by Alex-Fischman
July 21, 2023 18:40 6m 3s checkers-return-models
checkers-return-models
July 21, 2023 18:40 6m 3s
Mutable axioms (#128) CI #681: Commit a888ab1 pushed by tchajed
July 21, 2023 18:32 5m 59s main
main
July 21, 2023 18:32 5m 59s
Non bool relations CI #680: Pull request #130 synchronize by Alex-Fischman
July 21, 2023 18:18 6m 11s non-bool-relations
non-bool-relations
July 21, 2023 18:18 6m 11s
Checkers return models CI #679: Pull request #129 synchronize by Alex-Fischman
July 21, 2023 18:17 8m 4s checkers-return-models
checkers-return-models
July 21, 2023 18:17 8m 4s
Mutable axioms CI #678: Pull request #128 synchronize by Alex-Fischman
July 21, 2023 18:14 7m 7s mutable-axioms
mutable-axioms
July 21, 2023 18:14 7m 7s
Bound bool vars (#127) CI #677: Commit 21a5418 pushed by tchajed
July 21, 2023 18:10 5m 59s main
main
July 21, 2023 18:10 5m 59s