Skip to content

Actions: AlexanderV/LogicalOptimizer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
295 workflow runs
295 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #66: Scheduled
47s main
main
47s
Exhaustive sweeps Exhaustive sweeps #64: Scheduled
16m 9s main
main
16m 9s
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #65: Scheduled
50s main
main
50s
Exhaustive sweeps Exhaustive sweeps #63: Scheduled
15m 13s main
main
15m 13s
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #64: Scheduled
37s main
main
37s
Exhaustive sweeps Exhaustive sweeps #62: Scheduled
16m 2s main
main
16m 2s
Performance Regression Gate (weekly) Performance Regression Gate (weekly) #13: Scheduled
2m 30s main
main
2m 30s
Dependency audit Dependency audit #8: Scheduled
30s main
main
30s
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #63: Scheduled
32s main
main
32s
Exhaustive sweeps Exhaustive sweeps #61: Scheduled
9m 34s main
main
9m 34s
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #62: Scheduled
40s main
main
40s
Exhaustive sweeps Exhaustive sweeps #60: Scheduled
15m 23s main
main
15m 23s
SAT Benchmarks (nightly) SAT Benchmarks (nightly) #61: Scheduled
49s main
main
49s
Exhaustive sweeps Exhaustive sweeps #59: Scheduled
16m 28s main
main
16m 28s
Merge pull request #26 from AlexanderV/claude/compassionate-faraday-p… CI #56: Commit 366bd19 pushed by AlexanderV
3m 41s main
main
3m 41s
Merge pull request #26 from AlexanderV/claude/compassionate-faraday-p… Native AOT #44: Commit 366bd19 pushed by AlexanderV
1m 20s main
main
1m 20s
docs(changelog): restore the Fixed heading in the 4.0.1 section Native AOT #43: Pull request #26 opened by AlexanderV
1m 43s claude/compassionate-faraday-pbpnbh
claude/compassionate-faraday-pbpnbh
1m 43s
docs(changelog): restore the Fixed heading in the 4.0.1 section CI #55: Pull request #26 opened by AlexanderV
3m 43s claude/compassionate-faraday-pbpnbh
claude/compassionate-faraday-pbpnbh
3m 43s
Merge pull request #25 from AlexanderV/claude/compassionate-faraday-p… Release #13: Commit 7985f14 pushed by AlexanderV
16m 10s v4.0.1
v4.0.1
16m 10s
nuget in /.config for docfx - Update #1591838546 Dependabot Updates #17: by dependabot Bot
1m 37s main
main
1m 37s
nuget in /LogicalOptimizer.Tests for CsCheck - Update #1591838519 Dependabot Updates #16: by dependabot Bot
1m 46s main
main
1m 46s
nuget in /.config for dotnet-stryker - Update #1591838432 Dependabot Updates #15: by dependabot Bot
1m 28s main
main
1m 28s
nuget in /LogicalOptimizer.Tests for Microsoft.NET.Test.Sdk - Update #1591838427 Dependabot Updates #14: by dependabot Bot
1m 29s main
main
1m 29s
nuget in /LogicalOptimizer, /LogicalOptimizer.Bdd, /LogicalOptimizer.Core, /LogicalOptimizer.Dnnf, /LogicalOptimizer.Formats, /LogicalOptimizer.Minimization, /LogicalOptimizer.Sat for Microsoft.SourceLink.GitHub, Microsoft.SourceLink.GitHub, Microsoft.SourceLink.GitHub, Microsoft.SourceLink.GitHub, Microsoft.SourceLink.GitHub - Update #1591838442 Dependabot Updates #13: by dependabot Bot
1m 40s main
main
1m 40s
github_actions in /. - Update #1591836225 Dependabot Updates #12: by dependabot Bot
58s main
main
58s