Skip to content

Actions: stat-lib/statlib

Actions

Build and Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
93 workflow runs
93 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 mathlib dependency to v4.33.1 (#47) Build and Lint #130: Commit ca33ed4 pushed by zixiaowang17
5m 42s main
main
5m 42s
Bump mathlib dependency to v4.33.1 Build and Lint #129: Pull request #47 opened by github-actions Bot
5m 53s hopscotch/lkg-bump
hopscotch/lkg-bump
5m 53s
Update README.md Build and Lint #128: Commit 017b5f3 pushed by zixiaowang17
5m 20s main
main
5m 20s
Document Statlib's design-first contribution workflow (#46) Build and Lint #127: Commit 122cfa4 pushed by zixiaowang17
4m 20s main
main
4m 20s
Document Statlib's design-first contribution workflow Build and Lint #126: Pull request #46 opened by zixiaowang17
6m 24s codex/readme-design-workflow
codex/readme-design-workflow
6m 24s
feat: define and characterize contiguity (#10) Build and Lint #125: Commit 49d9152 pushed by zixiaowang17
7m 8s main
main
7m 8s
feat: define and characterize contiguity Build and Lint #124: Pull request #10 synchronize by zixiaowang17
4m 14s CoolRmal:codex/contiguity-definitions
CoolRmal:codex/contiguity-definitions
4m 14s
chore: bump mathlib to db584cd, fix breaking changes (#37) Build and Lint #123: Commit d1b5fcf pushed by zixiaowang17
5m 54s main
main
5m 54s
chore: bump mathlib to db584cd, fix breaking changes Build and Lint #122: Pull request #37 synchronize by zixiaowang17
4m 57s bump-mathlib/fix-db584cd
bump-mathlib/fix-db584cd
4m 57s
Clarify roadmap template prompts (#45) Build and Lint #121: Commit 33c06c5 pushed by zixiaowang17
5m 49s main
main
5m 49s
Clarify roadmap template prompts Build and Lint #120: Pull request #45 opened by blfang
5m 9s blfang:roadmap-template-wording
blfang:roadmap-template-wording
5m 9s
Add unit-level contrasts and finite-population average effects Build and Lint #119: Pull request #44 synchronize by bocowgill
6m 48s bocowgill:codex/potential-response-contrasts
bocowgill:codex/potential-response-contrasts
6m 48s
feat: define and characterize contiguity Build and Lint #118: Pull request #10 synchronize by CoolRmal
6m 18s CoolRmal:codex/contiguity-definitions
CoolRmal:codex/contiguity-definitions
6m 18s
Add unit-level contrasts and finite-population average effects Build and Lint #117: Pull request #44 opened by bocowgill
5m 4s bocowgill:codex/potential-response-contrasts
bocowgill:codex/potential-response-contrasts
5m 4s
Introduce a minimal potential-response core (#41) Build and Lint #116: Commit ba20712 pushed by rajarshi-mukherjee24
4m 9s main
main
4m 9s
Introduce a minimal potential-response core Build and Lint #115: Pull request #41 synchronize by bocowgill
4m 23s bocowgill:codex/potential-response-core
bocowgill:codex/potential-response-core
4m 23s
Update README.md Build and Lint #114: Commit 2f90502 pushed by formal-stat
3m 39s main
main
3m 39s
Update README.md Build and Lint #113: Commit df4cd9b pushed by formal-stat
6m 46s main
main
6m 46s
Create README.md Build and Lint #112: Commit e184832 pushed by formal-stat
4m 23s main
main
4m 23s
Introduce a minimal potential-response core Build and Lint #111: Pull request #41 synchronize by bocowgill
4m 25s bocowgill:codex/potential-response-core
bocowgill:codex/potential-response-core
4m 25s
Bump leanprover/lean-action from 1.5.0 to 1.6.0 (#42) Build and Lint #110: Commit 78eb985 pushed by zixiaowang17
4m 38s main
main
4m 38s
Bump leanprover/lean-action from 1.5.0 to 1.6.0 Build and Lint #109: Pull request #42 opened by dependabot Bot
4m 35s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
4m 35s
Introduce a minimal potential-response core Build and Lint #108: Pull request #41 opened by bocowgill
4m 49s bocowgill:codex/potential-response-core
bocowgill:codex/potential-response-core
4m 49s
Data processing inequality for the utility of e-variables (#39) Build and Lint #107: Commit 01d2a03 pushed by RemyDegenne
4m 27s main
main
4m 27s
Data processing inequality for the utility of e-variables Build and Lint #106: Pull request #39 synchronize by RemyDegenne
7m 6s RemyDegenne:RD_dpi
RemyDegenne:RD_dpi
7m 6s