Skip to content

Actions: InauguralSystems/EigenMiniSat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 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
ci: bump EigenScript pin to v0.29.0 (+ fix drifted CLAUDE.md prose) (… CI #46: Commit 1f4fd59 pushed by InauguralPhysicist
29s main
main
29s
ci: bump EigenScript pin to v0.29.0 (+ fix drifted CLAUDE.md prose) (… Scorecard supply-chain security #21: Commit 1f4fd59 pushed by InauguralPhysicist
39s main
main
39s
ci: bump EigenScript pin to v0.29.0 CI #45: Pull request #60 opened by InauguralPhysicist
28s bump-eigs-0.29
bump-eigs-0.29
28s
ci: bump EIGS_REF to v0.28.0 CI #44: Commit 86266e2 pushed by InauguralPhysicist
41s main
main
41s
ci: bump EIGS_REF to v0.28.0 Scorecard supply-chain security #20: Commit 86266e2 pushed by InauguralPhysicist
47s main
main
47s
Bump github/codeql-action/upload-sarif in the github-actions group (#59) CI #43: Commit e254132 pushed by InauguralPhysicist
27s main
main
27s
Bump github/codeql-action/upload-sarif in the github-actions group (#59) Scorecard supply-chain security #19: Commit e254132 pushed by InauguralPhysicist
31s main
main
31s
Bump github/codeql-action/upload-sarif from 4.36.3 to 4.37.0 in the github-actions group CI #42: Pull request #59 opened by dependabot Bot
46s dependabot/github_actions/github-actions-83a476f98d
dependabot/github_actions/github-actions-83a476f98d
46s
github_actions in /. - Update #1452976329 Dependabot Updates #4: by dependabot Bot
1m 54s main
main
1m 54s
ci: group dependabot github-actions bumps into one PR CI #41: Commit 9e5b38b pushed by InauguralPhysicist
47s main
main
47s
ci: group dependabot github-actions bumps into one PR Scorecard supply-chain security #18: Commit 9e5b38b pushed by InauguralPhysicist
1m 2s main
main
1m 2s
Bump github/codeql-action/upload-sarif from 4.36.2 to 4.36.3 (#58) CI #40: Commit 6cba464 pushed by InauguralPhysicist
25s main
main
25s
Bump github/codeql-action/upload-sarif from 4.36.2 to 4.36.3 (#58) Scorecard supply-chain security #17: Commit 6cba464 pushed by InauguralPhysicist
38s main
main
38s
Bump github/codeql-action/upload-sarif from 4.36.2 to 4.36.3 CI #39: Pull request #58 opened by dependabot Bot
31s dependabot/github_actions/github/codeql-action/upload-sarif-4.36.3
dependabot/github_actions/github/codeql-action/upload-sarif-4.36.3
31s
github_actions in /. - Update #1452154389 Dependabot Updates #3: by dependabot Bot
43s main
main
43s
lint: declare lib/ fragments with '# lint: loaded-by ../minisat.eigs'… Scorecard supply-chain security #16: Commit 66cce8c pushed by InauguralPhysicist
28s main
main
28s
lint: declare lib/ fragments with '# lint: loaded-by ../minisat.eigs'… CI #38: Commit 66cce8c pushed by InauguralPhysicist
27s main
main
27s
ci: bump pinned EigenScript runtime v0.26.0 -> v0.27.0 (#57) CI #37: Commit 1a0eb40 pushed by InauguralPhysicist
26s main
main
26s
ci: bump pinned EigenScript runtime v0.26.0 -> v0.27.0 (#57) Scorecard supply-chain security #15: Commit 1a0eb40 pushed by InauguralPhysicist
40s main
main
40s
ci: bump pinned EigenScript runtime to v0.27.0 CI #36: Pull request #57 opened by InauguralPhysicist
28s bump-eigs-0.27
bump-eigs-0.27
28s
Scorecard supply-chain security Scorecard supply-chain security #14: Scheduled
36s main
main
36s
docs: fix doc drift + add --random-bench to full trend profile Scorecard supply-chain security #13: Commit 74f4434 pushed by InauguralPhysicist
30s main
main
30s
docs: fix doc drift + add --random-bench to full trend profile CI #35: Commit 74f4434 pushed by InauguralPhysicist
31s main
main
31s
solver: budgeted CDCL sessions + composition-free library (#56) CI #34: Commit ecce943 pushed by InauguralPhysicist
26s main
main
26s
solver: budgeted CDCL sessions + composition-free library (#56) Scorecard supply-chain security #12: Commit ecce943 pushed by InauguralPhysicist
29s main
main
29s