Skip to content

Actions: flamapy/flamapy-ide

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pytest.yaml
17 workflow runs
17 workflow runs

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
feat: add sdd plugin with pysdd wasm wheel as runtime-installable Run Tests #35: Commit fad7290 pushed by jagalindo
30s develop
develop
30s
fix: resolve all open Dependabot alerts Run Tests #34: Commit d210e8b pushed by jagalindo
32s develop
develop
32s
feat: add sharpsat plugin with pyunigen wasm wheel as runtime-install… Run Tests #33: Commit f9b9d65 pushed by jagalindo
40s develop
develop
40s
feat: download flamapy wheels from release, enable plugins ussage Run Tests #32: Commit db55c9f pushed by jagalindo
37s develop
develop
37s
chore: bundle flamapy 2.6.0.dev12 Run Tests #31: Commit 79ae03f pushed by jagalindo
36s develop
develop
36s
chore: bundle flamapy 2.6.0.dev11 Run Tests #30: Commit c1919d1 pushed by jagalindo
42s develop
develop
42s
chore: bundle flamapy 2.6.0.dev5 Run Tests #29: Commit dc2463e pushed by jagalindo
34s develop
develop
34s
feat: expose SAT optimization, minimum config and t-wise sampling ope… Run Tests #28: Commit 8a7f0da pushed by jagalindo
37s develop
develop
37s
fix: updating server config Run Tests #27: Commit 1e2d453 pushed by jagalindo
37s develop
develop
37s
fix(ui): some elements were not being shown off properly Run Tests #26: Commit 6d6f94f pushed by jagalindo
36s develop
develop
36s
fix(main): solving some issues related to race conditions when runnin… Run Tests #25: Commit d9e10db pushed by jagalindo
34s develop
develop
34s
Refactor analysis operations to facade-driven architecture Run Tests #24: Pull request #46 opened by jagalindo
39s claude/tool-visual-improvements-uKV8F
claude/tool-visual-improvements-uKV8F
39s
Develop Run Tests #23: Pull request #45 opened by jagalindo
48s develop
develop
48s
New version with Z3 support among other changes Run Tests #22: Pull request #44 synchronize by jagalindo
37s develop
develop
37s
New version with Z3 support among other changes Run Tests #21: Pull request #44 opened by jagalindo
21s develop
develop
21s
chore(main): release 1.5.0 Run Tests #20: Pull request #39 opened by sebasruii
22s release-please--branches--main--components--flamapy-ide
release-please--branches--main--components--flamapy-ide
22s
Develop Run Tests #19: Pull request #38 opened by sebasruii
22s develop
develop
22s