Skip to content

Actions: YoWASP/boolector

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[skip py] Update @yowasp/runtime. Build & publish #28: Commit a7be4e9 pushed by whitequark
June 28, 2024 16:35 1m 52s release
release
June 28, 2024 16:35 1m 52s
[skip py] Update @yowasp/runtime. Build & publish #27: Commit a7be4e9 pushed by whitequark
June 28, 2024 16:04 6m 41s develop
develop
June 28, 2024 16:04 6m 41s
[skip py] Update api.d.ts. Build & publish #26: Commit d329fbb pushed by whitequark
June 28, 2024 15:44 2m 8s develop
develop
June 28, 2024 15:44 2m 8s
[skip py] Update @yowasp/runtime. Build & publish #25: Commit 10b0703 pushed by whitequark
June 28, 2024 15:30 2m 13s develop
develop
June 28, 2024 15:30 2m 13s
Update to wasi-sdk-22.0. Build & publish #24: Commit 43dea17 pushed by whitequark
May 18, 2024 19:01 2m 18s develop
develop
May 18, 2024 19:01 2m 18s
Use minisat instead of picosat as SAT backend. Build & publish #23: Commit 1e00286 pushed by whitequark
March 14, 2024 06:01 1m 59s release
release
March 14, 2024 06:01 1m 59s
Use minisat instead of picosat as SAT backend. Build & publish #22: Commit 1e00286 pushed by whitequark
March 8, 2024 17:44 2m 30s develop
develop
March 8, 2024 17:44 2m 30s
MiniSAT Backend Support Build & publish #21: Pull request #2 synchronize by cr1901
March 6, 2024 22:25 1m 56s cr1901:minisat
cr1901:minisat
March 6, 2024 22:25 1m 56s
MiniSAT Backend Support Build & publish #20: Pull request #2 opened by cr1901
March 4, 2024 05:40 2m 7s cr1901:minisat
cr1901:minisat
March 4, 2024 05:40 2m 7s
Update CI actions to Node 20. Build & publish #19: Commit a96abc0 pushed by whitequark
February 9, 2024 13:39 2m 28s develop
develop
February 9, 2024 13:39 2m 28s
[autorelease] Build picosat with optimizations. Build & publish #18: Commit c1deb18 pushed by whitequark
January 20, 2024 05:36 1m 59s release
release
January 20, 2024 05:36 1m 59s
[autorelease] Build picosat with optimizations. Build & publish #17: Commit c1deb18 pushed by whitequark
January 20, 2024 05:35 2m 1s develop
develop
January 20, 2024 05:35 2m 1s
Add NPM package. Build & publish #16: Commit 5661189 pushed by whitequark
January 20, 2024 05:23 3m 1s develop
develop
January 20, 2024 05:23 3m 1s
Add NPM package. Build & publish #15: Commit 8d3aa4e pushed by whitequark
January 20, 2024 05:21 1m 30s develop
develop
January 20, 2024 05:21 1m 30s
Fix reference to license in PyPI README. Build & publish #14: Commit 7c7ff8e pushed by whitequark
January 20, 2024 05:19 1m 51s develop
develop
January 20, 2024 05:19 1m 51s
Add license. Build & publish #13: Commit b60a90d pushed by whitequark
January 20, 2024 05:13 1m 48s develop
develop
January 20, 2024 05:13 1m 48s
Create LICENSE.txt Build & publish #12: Pull request #1 synchronize by whitequark
January 20, 2024 05:13 1m 55s cr1901:patch-1
cr1901:patch-1
January 20, 2024 05:13 1m 55s
Create LICENSE.txt Build & publish #11: Pull request #1 opened by cr1901
January 20, 2024 05:10 1m 51s cr1901:patch-1
cr1901:patch-1
January 20, 2024 05:10 1m 51s
Fix submodule names. Build & publish #10: Commit 7cb5770 pushed by whitequark
January 20, 2024 04:42 2m 4s develop
develop
January 20, 2024 04:42 2m 4s
Fix submodule names. Build & publish #9: Commit 3e693ef pushed by whitequark
January 20, 2024 04:35 1m 34s develop
develop
January 20, 2024 04:35 1m 34s
Remove unused importlib_resources dependency. Build & publish #8: Commit 932bbd0 pushed by whitequark
January 20, 2024 04:01 34s release
release
January 20, 2024 04:01 34s
Remove unused importlib_resources dependency. Build & publish #7: Commit 932bbd0 pushed by whitequark
January 20, 2024 03:46 2m 2s develop
develop
January 20, 2024 03:46 2m 2s
Clean up pyproject.toml. Build & publish #6: Commit 9c62e2c pushed by whitequark
January 20, 2024 03:40 2m 2s develop
develop
January 20, 2024 03:40 2m 2s
Clean up pyproject.toml. Build & publish #5: Commit 2112938 pushed by whitequark
January 20, 2024 03:36 2m 31s develop
develop
January 20, 2024 03:36 2m 31s
Clean up pyproject.toml. Build & publish #4: Commit b179bd8 pushed by whitequark
January 20, 2024 03:31 2m 3s develop
develop
January 20, 2024 03:31 2m 3s