Skip to content

Actions: flamapy/sharpsat_metamodel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
chore: release 2.6.0 Create Release and publish pypi package #6: Commit e5945ff pushed by jagalindo
23s v2.6.0
v2.6.0
23s
chore: release 2.6.0 Python analysis #23: Commit e5945ff pushed by jagalindo
19s v2.6.0
v2.6.0
19s
chore: release 2.6.0 Python analysis #22: Commit e5945ff pushed by jagalindo
14s main
main
14s
chore: release 2.6.0 Python analysis #21: Commit 08c278e pushed by jagalindo
16s develop
develop
16s
chore: bump version to 2.6.0.dev12 Create Release and publish pypi package #5: Commit 8554908 pushed by jagalindo
20s v2.6.0.dev12
v2.6.0.dev12
20s
chore: bump version to 2.6.0.dev12 Python analysis #20: Commit 8554908 pushed by jagalindo
19s v2.6.0.dev12
v2.6.0.dev12
19s
chore: bump version to 2.6.0.dev12 Python analysis #19: Commit 8554908 pushed by jagalindo
15s develop
develop
15s
test: drop pysat oracle in favour of a ClauseSet brute-force reference Python analysis #18: Commit 455e597 pushed by jagalindo
17s develop
develop
17s
chore: bump version to 2.6.0.dev11 Python analysis #17: Commit f8bc0c3 pushed by jagalindo
20s v2.6.0.dev11
v2.6.0.dev11
20s
chore: bump version to 2.6.0.dev11 Create Release and publish pypi package #4: Commit f8bc0c3 pushed by jagalindo
18s v2.6.0.dev11
v2.6.0.dev11
18s
chore: bump version to 2.6.0.dev11 Python analysis #16: Commit f8bc0c3 pushed by jagalindo
19s develop
develop
19s
fix(ui): improving shell output on cli Python analysis #15: Commit 61380ba pushed by jagalindo
16s develop
develop
16s
refactor: build CNF via fm ClauseSet; drop flamapy-sat dependency Python analysis #14: Commit 45355a0 pushed by jagalindo
17s develop
develop
17s
chore: bump version to 2.6.0.dev5 Python analysis #13: Commit a5be686 pushed by jagalindo
21s v2.6.0.dev5
v2.6.0.dev5
21s
chore: bump version to 2.6.0.dev5 Create Release and publish pypi package #3: Commit a5be686 pushed by jagalindo
20s v2.6.0.dev5
v2.6.0.dev5
20s
feat: initial flamapy-sharpsat plugin Python analysis #12: Commit e9eb6d2 pushed by jagalindo
24s v2.6.0.dev4
v2.6.0.dev4
24s
feat: initial flamapy-sharpsat plugin Create Release and publish pypi package #2: Commit e9eb6d2 pushed by jagalindo
8s v2.6.0.dev4
v2.6.0.dev4
8s
chore: bump version to 2.6.0.dev5 Create Release and publish pypi package #1: Commit a5be686 pushed by jagalindo
11s v2.6.0.dev5
v2.6.0.dev5
11s
chore: bump version to 2.6.0.dev5 Python analysis #11: Commit a5be686 pushed by jagalindo
25s v2.6.0.dev5
v2.6.0.dev5
25s
chore: bump version to 2.6.0.dev5 Python analysis #10: Commit a5be686 pushed by jagalindo
22s main
main
22s
chore: bump version to 2.6.0.dev5 Python analysis #9: Commit a5be686 pushed by jagalindo
30s develop
develop
30s
fix: count reliably via UniGen's ApproxMC and drop pyapproxmc Python analysis #8: Commit 0ed4e96 pushed by jagalindo
17s main
main
17s
fix: count reliably via UniGen's ApproxMC and drop pyapproxmc Python analysis #7: Commit 0ed4e96 pushed by jagalindo
23s develop
develop
23s
fix: work against released flamapy-sat and satisfy mypy Python analysis #6: Commit 7f1d298 pushed by jagalindo
18s main
main
18s
fix: work against released flamapy-sat and satisfy mypy Python analysis #5: Commit 7f1d298 pushed by jagalindo
19s develop
develop
19s