Skip to content

Actions: chrjabs/rustsat

Actions

Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
239 workflow runs
239 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
tests: basic kani harnesses for Var and Lit Docs #258: Commit 78bd03e pushed by chrjabs
July 8, 2024 09:04 1m 34s next-major
next-major
July 8, 2024 09:04 1m 34s
feat: generalize batsat interface Docs #257: Commit 98af54b pushed by chrjabs
July 8, 2024 07:58 1m 40s next-major
next-major
July 8, 2024 07:58 1m 40s
tests: add tests for FlipLit trait Docs #256: Commit 0692ba7 pushed by chrjabs
July 8, 2024 06:38 1m 45s next-major
next-major
July 8, 2024 06:38 1m 45s
chore: release Docs #255: Pull request #113 synchronize by rustsat-release-plz-bot bot
July 8, 2024 06:32 1m 39s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 8, 2024 06:32 1m 39s
ci: use github app for release-plz Docs #254: Commit 19eb672 pushed by chrjabs
July 8, 2024 06:27 1m 56s main
main
July 8, 2024 06:27 1m 56s
doc: fix typos Docs #253: Commit 68f5abf pushed by chrjabs
July 4, 2024 14:06 1m 22s next-major
next-major
July 4, 2024 14:06 1m 22s
Implemented an interface to BatSat Docs #252: Pull request #84 synchronize by nfbruns
July 4, 2024 14:01 1m 22s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 14:01 1m 22s
External solvers Docs #251: Pull request #119 synchronize by chrjabs
July 4, 2024 14:01 1m 39s external-solvers
external-solvers
July 4, 2024 14:01 1m 39s
External solvers Docs #250: Pull request #119 synchronize by chrjabs
July 4, 2024 13:55 1m 11s external-solvers
external-solvers
July 4, 2024 13:55 1m 11s
External solvers Docs #249: Pull request #119 synchronize by chrjabs
July 4, 2024 13:41 1m 28s external-solvers
external-solvers
July 4, 2024 13:41 1m 28s
External solvers Docs #248: Pull request #119 synchronize by chrjabs
July 4, 2024 13:38 2m 15s external-solvers
external-solvers
July 4, 2024 13:38 2m 15s
External solvers Docs #247: Pull request #119 opened by chrjabs
July 4, 2024 13:38 1m 39s external-solvers
external-solvers
July 4, 2024 13:38 1m 39s
Implemented an interface to BatSat Docs #245: Pull request #84 synchronize by nfbruns
July 4, 2024 07:42 1m 39s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 4, 2024 07:42 1m 39s
misc: clippy with most-recent nightly Docs #242: Commit 432d940 pushed by chrjabs
July 2, 2024 08:42 1m 15s next-major
next-major
July 2, 2024 08:42 1m 15s
Implemented an interface to BatSat Docs #241: Pull request #84 synchronize by nfbruns
July 1, 2024 16:10 1m 51s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
July 1, 2024 16:10 1m 51s
misc: update dependencies Docs #237: Commit d6500ca pushed by chrjabs
July 1, 2024 14:09 2m 45s next-major
next-major
July 1, 2024 14:09 2m 45s
Update PyO3 Docs #236: Pull request #118 synchronize by chrjabs
July 1, 2024 14:06 1m 30s update-pyo3
update-pyo3
July 1, 2024 14:06 1m 30s
chore: release Docs #235: Pull request #113 synchronize by chrjabs
July 1, 2024 14:02 1m 59s release-plz-2024-06-17T06-37-10Z
release-plz-2024-06-17T06-37-10Z
July 1, 2024 14:02 1m 59s
build(deps): update rustc-hash requirement from 1.1.0 to 2.0.0 Docs #234: Pull request #114 synchronize by dependabot bot
July 1, 2024 14:00 1m 58s dependabot/cargo/rustc-hash-2.0.0
dependabot/cargo/rustc-hash-2.0.0
July 1, 2024 14:00 1m 58s
build(deps): bump install-pinned/mypy Docs #233: Commit 9a3c346 pushed by chrjabs
July 1, 2024 13:59 1m 45s main
main
July 1, 2024 13:59 1m 45s
Update PyO3 Docs #232: Pull request #118 opened by chrjabs
July 1, 2024 13:57 3m 8s update-pyo3
update-pyo3
July 1, 2024 13:57 3m 8s
Implemented an interface to BatSat Docs #231: Pull request #84 synchronize by nfbruns
June 26, 2024 09:17 2m 52s nfbruns:feat-batsat-solver
nfbruns:feat-batsat-solver
June 26, 2024 09:17 2m 52s
build(deps): bump install-pinned/mypy from cec260456eec5126750b72b8f0a6e6011eb85223 to 8fd8c50eff0144780246d326dc2159289f090e33 Docs #228: Pull request #117 opened by dependabot bot
June 25, 2024 21:54 1m 39s dependabot/github_actions/install-pinned/mypy-8fd8c50eff0144780246d326dc2159289f090e33
dependabot/github_actions/install-pinned/mypy-8fd8c50eff0144780246d326dc2159289f090e33
June 25, 2024 21:54 1m 39s
build(deps): update pyo3 requirement from 0.21.1 to 0.22.0 Docs #227: Pull request #116 opened by dependabot bot
June 24, 2024 21:39 2m 3s dependabot/cargo/pyo3-0.22.0
dependabot/cargo/pyo3-0.22.0
June 24, 2024 21:39 2m 3s
build(deps): update pyo3-build-config requirement from 0.21.1 to 0.22.0 Docs #226: Pull request #115 opened by dependabot bot
June 24, 2024 21:38 1m 43s dependabot/cargo/pyo3-build-config-0.22.0
dependabot/cargo/pyo3-build-config-0.22.0
June 24, 2024 21:38 1m 43s