Skip to content

Actions: nasa/PySA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #29 from hmunozb/pysa-pt-beta Python Tutorials #24: Commit 81a184a pushed by hmunozb
11s main
main
11s
allow option for sat check with walksat KSat-Advanced Python Test #3: Commit 5c225cb pushed by hmunozb
1m 55s pysa-ksat-gen
pysa-ksat-gen
1m 55s
allow option for sat check with walksat KSatPython Test #3: Commit 5c225cb pushed by hmunozb
33s pysa-ksat-gen
pysa-ksat-gen
33s
fix advanced test KSat-Advanced Python Test #2: Commit c357b77 pushed by hmunozb
1m 51s pysa-ksat-gen
pysa-ksat-gen
1m 51s
fix advanced test KSatPython Test #2: Commit c357b77 pushed by hmunozb
35s pysa-ksat-gen
pysa-ksat-gen
35s
Document basic and advanced generator usage KSatPython Test #1: Commit 538df27 pushed by hmunozb
39s pysa-ksat-gen
pysa-ksat-gen
39s
Document basic and advanced generator usage KSat-Advanced Python Test #1: Commit 538df27 pushed by hmunozb
1m 51s pysa-ksat-gen
pysa-ksat-gen
1m 51s
fixes Python PyTest #14: Commit 862d7e2 pushed by hmunozb
3m 16s pysa-ksat-gen
pysa-ksat-gen
3m 16s
fixes Python PyTest #13: Commit 5f6f813 pushed by hmunozb
1m 44s pysa-ksat-gen
pysa-ksat-gen
1m 44s
fixes Python PyTest #12: Commit b7a81bb pushed by hmunozb
1m 33s pysa-ksat-gen
pysa-ksat-gen
1m 33s
Add test to install Python wrapper cdcl-tests #2: Commit 61fb997 pushed by hmunozb
46s pysa-cdcl
pysa-cdcl
46s
adjust dependencies Python PyTest #11: Commit 9b2c9ba pushed by hmunozb
1m 23s pysa-ksat-gen
pysa-ksat-gen
1m 23s
adjust dependencies Python PyTest #10: Commit 30e13ed pushed by hmunozb
21s pysa-ksat-gen
pysa-ksat-gen
21s
adjust test Python PyTest #9: Commit d8cc138 pushed by hmunozb
21s pysa-ksat-gen
pysa-ksat-gen
21s
test fix cdcl-tests #1: Commit 7e9cedc pushed by hmunozb
27s pysa-cdcl
pysa-cdcl
27s