Skip to content

Actions: gametheoryinlean/EconCSLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
81 workflow runs
81 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
Add exact finite absorbing Markov-chain foundation Build Lean #45: Pull request #38 opened by lyw-ops
6m 49s lyw-ops:codex/finite-markov-foundation
lyw-ops:codex/finite-markov-foundation
6m 49s
Add exact finite absorbing Markov-chain foundation Build and Publish Blueprint #45: Pull request #38 opened by lyw-ops
5m 37s lyw-ops:codex/finite-markov-foundation
lyw-ops:codex/finite-markov-foundation
5m 37s
Add executable finite rational probability laws Build and Publish Blueprint #44: Pull request #37 synchronize by lyw-ops
5m 49s lyw-ops:codex/finitelaw-foundation
lyw-ops:codex/finitelaw-foundation
5m 49s
Add executable finite rational probability laws Build Lean #44: Pull request #37 synchronize by lyw-ops
1m 24s lyw-ops:codex/finitelaw-foundation
lyw-ops:codex/finitelaw-foundation
1m 24s
Add executable finite rational probability laws Build Lean #43: Pull request #37 opened by lyw-ops
5m 49s lyw-ops:codex/finitelaw-foundation
lyw-ops:codex/finitelaw-foundation
5m 49s
Add executable finite rational probability laws Build and Publish Blueprint #43: Pull request #37 opened by lyw-ops
5m 24s lyw-ops:codex/finitelaw-foundation
lyw-ops:codex/finitelaw-foundation
5m 24s
Clarify agent verification and handling of blocked proofs Build Lean #42: Pull request #36 opened by xbei
5m 38s codex/clarify-agent-workflow
codex/clarify-agent-workflow
5m 38s
Clarify agent verification and handling of blocked proofs Build and Publish Blueprint #42: Pull request #36 opened by xbei
6m 3s codex/clarify-agent-workflow
codex/clarify-agent-workflow
6m 3s
Formalize open problems and polynomial complexity Build and Publish Blueprint #41: Pull request #35 opened by hhh1234-ggg
Action required hhh1234-ggg:feature/open-problem-complexity-formalization
hhh1234-ggg:feature/open-problem-complexity-formalization
Action required
Formalize open problems and polynomial complexity Build Lean #41: Pull request #35 opened by hhh1234-ggg
Action required hhh1234-ggg:feature/open-problem-complexity-formalization
hhh1234-ggg:feature/open-problem-complexity-formalization
Action required
Add a payoff-free structural core for extensive-form games (#34) Deploy API docs #9: Commit cef01c7 pushed by jiajunma
9m 31s main
main
9m 31s
Add a payoff-free structural core for extensive-form games (#34) Build and Publish Blueprint #40: Commit cef01c7 pushed by jiajunma
5m 47s main
main
5m 47s
Add a payoff-free structural core for extensive-form games (#34) Build Lean #40: Commit cef01c7 pushed by jiajunma
5m 30s main
main
5m 30s
Add a payoff-free structural core for extensive-form games Build and Publish Blueprint #39: Pull request #34 synchronize by lyw-ops
5m 38s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
5m 38s
Add a payoff-free structural core for extensive-form games Build Lean #39: Pull request #34 synchronize by lyw-ops
5m 38s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
5m 38s
Add a payoff-free structural core for extensive-form games Build Lean #37: Pull request #34 synchronize by lyw-ops
30d 0h 5m 20s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 5m 20s
Add a payoff-free structural core for extensive-form games Build and Publish Blueprint #37: Pull request #34 synchronize by lyw-ops
30d 0h 5m 20s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 5m 20s
Add a payoff-free structural core for extensive-form games Build Lean #36: Pull request #34 synchronize by lyw-ops
30d 0h 1m 11s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 1m 11s
Add a payoff-free structural core for extensive-form games Build and Publish Blueprint #36: Pull request #34 synchronize by lyw-ops
30d 0h 1m 11s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 1m 11s
Add a payoff-free structural core for extensive-form games Build and Publish Blueprint #35: Pull request #34 opened by lyw-ops
30d 0h 3m 38s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 3m 38s
Add a payoff-free structural core for extensive-form games Build Lean #35: Pull request #34 opened by lyw-ops
30d 0h 3m 38s lyw-ops:codex/efg-minimal-core
lyw-ops:codex/efg-minimal-core
30d 0h 3m 38s
chore: configure Lean-aware CodeRabbit reviews Build and Publish Blueprint #34: Pull request #33 opened by zhanquen
5m 16s agent/lean-coderabbit-review
agent/lean-coderabbit-review
5m 16s
chore: configure Lean-aware CodeRabbit reviews Build Lean #34: Pull request #33 opened by zhanquen
1m 14s agent/lean-coderabbit-review
agent/lean-coderabbit-review
1m 14s
Document the other EconCSLib project (#32) Build Lean #33: Commit cc959e3 pushed by xbei
1m 36s main
main
1m 36s
Document the other EconCSLib project (#32) Build and Publish Blueprint #33: Commit cc959e3 pushed by xbei
5m 24s main
main
5m 24s