Skip to content

Actions: SynthesisLab/grape

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bug with vars Pytest #14: Commit b99d8d4 pushed by Theomat
18s main
main
18s
added union as done Pytest #13: Commit f744f0e pushed by Theomat
18s main
main
18s
Merge pull request #35 from SynthesisLab/18-refactor-approximate_cons… Pytest #12: Commit 44cb7bc pushed by Theomat
16s main
main
16s
refactored automaton generation Pytest #11: Pull request #35 opened by Theomat
21s 18-refactor-approximate_constraint_finderpy-with-regular_constraint_finder-and-automaton_generator
18-refactor-approximate_constraint_finderpy-with-regular_constraint_finder-and-automaton_generator
21s
Merge pull request #34 from SynthesisLab/15-add-grape-union-script Pytest #10: Commit cbb69c7 pushed by Theomat
42s main
main
42s
union command Pytest #9: Pull request #34 opened by Theomat
41s 15-add-grape-union-script
15-add-grape-union-script
41s
Merge pull request #32 from SynthesisLab/dsl_from_type_annotations Pytest #8: Commit 0d94524 pushed by GBathie
18s main
main
18s
Remove some mypy warnings Pytest #7: Pull request #32 opened by GBathie
17s dsl_from_type_annotations
dsl_from_type_annotations
17s
Merge pull request #30 from SynthesisLab/dsl_from_type_annotations Pytest #6: Commit 3241e23 pushed by Theomat
15s main
main
15s
Add support for parsing type hints Pytest #5: Pull request #30 synchronize by GBathie
18s dsl_from_type_annotations
dsl_from_type_annotations
18s
Add support for parsing type hints Pytest #4: Pull request #30 synchronize by GBathie
14s dsl_from_type_annotations
dsl_from_type_annotations
14s
Add tests in CI Pytest #3: Pull request #31 synchronize by GBathie
14s add_ci
add_ci
14s
Add tests in CI Pytest #2: Pull request #31 synchronize by GBathie
12s add_ci
add_ci
12s
Add pytests in I Pytest #1: Commit 70018cd pushed by GBathie
Failure add_ci
add_ci
Failure