Skip to content

Actions: ActiveInferenceInstitute/fep_formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
332 workflow runs
332 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
Merge pull request #165 from ActiveInferenceInstitute/claude/backlog-… fep_lean #322: Commit e6d7230 pushed by docxology
1h 16m 29s main
main
1h 16m 29s
Merge pull request #155 from ActiveInferenceInstitute/dependabot/gith… fep_lean #321: Commit 04c2a21 pushed by docxology
3m 30s main
main
3m 30s
Backlog reconciliation: Unreleased changelog and closed TODO rows fep_lean #320: Pull request #165 opened by docxology
1m 41s claude/backlog-reconcile-2026-10-09
claude/backlog-reconcile-2026-10-09
1m 41s
Merge pull request #164 from ActiveInferenceInstitute/claude/lean-int… fep_lean #319: Commit 590254d pushed by docxology
2m 24s main
main
2m 24s
Integrate the Lean formalism wave: #156–#163 with one regeneration and one CI run fep_lean #318: Pull request #164 synchronize by docxology
45m 58s claude/lean-integration-1
claude/lean-integration-1
45m 58s
Integrate the Lean formalism wave: #156–#163 with one regeneration and one CI run fep_lean #317: Pull request #164 synchronize by docxology
3m 5s claude/lean-integration-1
claude/lean-integration-1
3m 5s
Merge pull request #152 from ActiveInferenceInstitute/claude/release-… fep_lean #316: Commit d3b83ac pushed by docxology
1h 26m 36s main
main
1h 26m 36s
Integrate the Lean formalism wave: #156–#163 with one regeneration and one CI run fep_lean #315: Pull request #164 synchronize by docxology
28m 29s claude/lean-integration-1
claude/lean-integration-1
28m 29s
Integrate the Lean formalism wave: #156–#163 with one regeneration and one CI run fep_lean #314: Pull request #164 synchronize by docxology
17s claude/lean-integration-1
claude/lean-integration-1
17s
Release tooling: --bump, sidecar coverage, single-owner check inventory with drift test fep_lean #313: Pull request #152 synchronize by docxology
1h 19m 34s claude/release-tooling
claude/release-tooling
1h 19m 34s
Merge pull request #151 from ActiveInferenceInstitute/claude/docs-audits fep_lean #312: Commit 254f538 pushed by docxology
2h 1m 41s main
main
2h 1m 41s
Merge pull request #154 from ActiveInferenceInstitute/claude/pkg-robu… fep_lean #311: Commit 833824d pushed by docxology
24s main
main
24s
Integrate the Lean formalism wave: #156–#163 with one regeneration and one CI run fep_lean #310: Pull request #164 opened by docxology
1h 15m 28s claude/lean-integration-1
claude/lean-integration-1
1h 15m 28s
Formal: entropy production for Markov-chain path laws, Schnakenberg form, reversed-kernel duality (FORM-S6) fep_lean #309: Pull request #163 opened by docxology
1h 53m 14s claude/lean-markov-paths
claude/lean-markov-paths
1h 53m 14s
Formal: optimal linear and log pooling, Dobrushin consensus contraction (FORM-S13) fep_lean #308: Pull request #162 opened by docxology
1h 19m 37s claude/lean-consensus
claude/lean-consensus
1h 19m 37s
Formal: Helmholtz free energy as the minimum of the variational functional (FORM-S3) fep_lean #307: Pull request #161 opened by docxology
2h 0m 0s claude/lean-helmholtz
claude/lean-helmholtz
2h 0m 0s
Merge pull request #153 from ActiveInferenceInstitute/claude/pkg-ergo… fep_lean #306: Commit 5dcad77 pushed by docxology
1h 54m 9s main
main
1h 54m 9s
Formal: precision as inference and predictive-coding energy as a negative log joint (FORM-S9) fep_lean #305: Pull request #160 opened by docxology
1h 48m 13s claude/lean-precision
claude/lean-precision
1h 48m 13s
Release tooling: --bump, sidecar coverage, single-owner check inventory with drift test fep_lean #304: Pull request #152 synchronize by docxology
1h 4m 12s claude/release-tooling
claude/release-tooling
1h 4m 12s
Merge pull request #149 from ActiveInferenceInstitute/claude/docs-onb… fep_lean #303: Commit 8fc9e79 pushed by docxology
13m 11s main
main
13m 11s
Formal: generalized-coordinate jets are actual derivatives (FORM-S8) fep_lean #302: Pull request #157 synchronize by docxology
1h 53m 4s claude/lean-jets
claude/lean-jets
1h 53m 4s
Merge pull request #150 from ActiveInferenceInstitute/claude/form-s4-… fep_lean #301: Commit fe1f4a8 pushed by docxology
32m 53s main
main
32m 53s
Formal: general finite maximum entropy and the constrained Gibbs maximiser (FORM-S2) fep_lean #300: Pull request #158 opened by docxology
1h 56m 54s claude/lean-maxent
claude/lean-maxent
1h 56m 54s
Formal: generalized-coordinate jets are actual derivatives (FORM-S8) fep_lean #299: Pull request #157 opened by docxology
7m 52s claude/lean-jets
claude/lean-jets
7m 52s
Formal: one shared finite-matrix and skew-algebra kit (LEAN-1) fep_lean #298: Pull request #156 opened by docxology
2h 2m 2s claude/lean-matrix-kit
claude/lean-matrix-kit
2h 2m 2s