Skip to content

Actions: StefanKarpinski/Resolver.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

exports: only export resolve CI #5: Commit 3efe652 pushed by StefanKarpinski
December 30, 2023 17:52 2m 57s master
master
December 30, 2023 17:52 2m 57s
use libpicosat_jll instead of PicoSAT_jll (support Windows) CI #4: Commit d9fc971 pushed by StefanKarpinski
December 29, 2023 03:07 3m 3s master
master
December 29, 2023 03:07 3m 3s
fix 32-bit test issue; disable Windows CI; rm old runtests CI #3: Commit 46ba61c pushed by StefanKarpinski
December 27, 2023 17:22 2m 25s master
master
December 27, 2023 17:22 2m 25s
build(deps): bump actions/checkout from 3 to 4 CI #2: Pull request #1 opened by dependabot bot
December 23, 2023 17:01 4m 25s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
December 23, 2023 17:01 4m 25s
add CI CI #1: Commit d3ee50c pushed by StefanKarpinski
December 23, 2023 17:01 2m 14s master
master
December 23, 2023 17:01 2m 14s