Skip to content

Actions: OptimalBranching/BooleanInference.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
47 workflow runs
47 workflow runs

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
Bump julia-actions/setup-julia from 2 to 3 CI #56: Pull request #35 opened by dependabot Bot
14m 36s dependabot/github_actions/julia-actions/setup-julia-3
dependabot/github_actions/julia-actions/setup-julia-3
14m 36s
Bump codecov/codecov-action from 5 to 6 CI #55: Pull request #34 opened by dependabot Bot
13m 35s dependabot/github_actions/codecov/codecov-action-6
dependabot/github_actions/codecov/codecov-action-6
13m 35s
Bump julia-actions/cache from 2 to 3 CI #54: Pull request #33 opened by dependabot Bot
13m 45s dependabot/github_actions/julia-actions/cache-3
dependabot/github_actions/julia-actions/cache-3
13m 45s
Anonymous CI #53: Pull request #32 opened by isPANN
13m 46s anonymous
anonymous
13m 46s
Merge pull request #26 from OptimalBranching/xw/hybrid CI #52: Commit 3da58ae pushed by isPANN
12m 56s main
main
12m 56s
Update CDCL-hybrid solver CI #51: Pull request #26 synchronize by isPANN
3m 10s xw/hybrid
xw/hybrid
3m 10s
Update CDCL-hybrid solver CI #50: Pull request #26 synchronize by isPANN
2m 26s xw/hybrid
xw/hybrid
2m 26s
Update CDCL-hybrid solver CI #49: Pull request #26 synchronize by isPANN
12m 40s xw/hybrid
xw/hybrid
12m 40s
Update CDCL-hybrid solver CI #48: Pull request #26 synchronize by isPANN
1m 28s xw/hybrid
xw/hybrid
1m 28s
Update CDCL-hybrid solver CI #47: Pull request #26 synchronize by isPANN
1m 36s xw/hybrid
xw/hybrid
1m 36s
Update CDCL-hybrid solver CI #46: Pull request #26 opened by isPANN
12m 7s xw/hybrid
xw/hybrid
12m 7s
Merge pull request #23 CI #45: Commit 93f39e7 pushed by isPANN
2m 11s main
main
2m 11s
fix tests CI #44: Pull request #23 opened by isPANN
2m 23s xw/simplify_region
xw/simplify_region
2m 23s
refactor CI #43: Commit 9c2cc06 pushed by isPANN
2m 26s main
main
2m 26s
Refactor CI #42: Pull request #21 opened by isPANN
15s isPANN:xw/trail
isPANN:xw/trail
15s
Refactor CI #41: Pull request #20 synchronize by isPANN
36s isPANN:xw/trail
isPANN:xw/trail
36s
Refactor CI #40: Pull request #20 synchronize by isPANN
31s isPANN:xw/trail
isPANN:xw/trail
31s
Merge pull request #18 from OptimalBranching/dependabot/github_action… CI #39: Commit 169eb8e pushed by isPANN
11m 37s main
main
11m 37s
Refactor CI #38: Pull request #20 opened by isPANN
12m 35s isPANN:xw/trail
isPANN:xw/trail
12m 35s
Bump actions/checkout from 5 to 6 CI #37: Pull request #18 opened by dependabot Bot
11m 6s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
11m 6s
Merge pull request #17 CI #36: Commit fef9687 pushed by isPANN
11m 22s main
main
11m 22s
Refactor CI #35: Pull request #17 opened by isPANN
12m 14s isPANN:xw/trail
isPANN:xw/trail
12m 14s
Merge pull request #15 from isPANN/xw/native_ob CI #34: Commit 0273653 pushed by isPANN
5m 18s main
main
5m 18s
Update benchmarks CI #33: Pull request #15 synchronize by isPANN
5m 19s isPANN:xw/native_ob
isPANN:xw/native_ob
5m 19s
Update benchmarks CI #32: Pull request #15 synchronize by isPANN
2m 10s isPANN:xw/native_ob
isPANN:xw/native_ob
2m 10s