Skip to content

Actions: stat-lib/statlib

Actions

Build and Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
168 workflow runs
168 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 805bbc4 Build and Lint #205: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #204: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #203: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #202: Pull request #70 synchronize by github-actions Bot
-1s hopscotch/lkg-bump
hopscotch/lkg-bump
-1s
Bump mathlib dependency to 805bbc4 Build and Lint #201: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #200: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #199: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #198: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump leanprover/lean-action from 1.6.0 to 1.7.0 Build and Lint #197: Pull request #74 opened by dependabot Bot
4m 13s dependabot/github_actions/leanprover/lean-action-1.7.0
dependabot/github_actions/leanprover/lean-action-1.7.0
4m 13s
feat(Invariance): Proof for CLT based on Lindeberg swap principle Build and Lint #196: Pull request #73 opened by Swag-Pseudopy
4m 53s Swag-Pseudopy:lindeberg-swap
Swag-Pseudopy:lindeberg-swap
4m 53s
Bump mathlib dependency to 805bbc4 Build and Lint #195: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #194: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #193: Pull request #70 synchronize by github-actions Bot
7m 13s hopscotch/lkg-bump
hopscotch/lkg-bump
7m 13s
Bump mathlib dependency to 805bbc4 Build and Lint #192: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
feat(PValues): add IsPValue for composite null hypotheses Build and Lint #191: Pull request #71 opened by rajarshi-mukherjee24
4m 18s rajarshi-mukherjee24:pvalue-composite-null
rajarshi-mukherjee24:pvalue-composite-null
4m 18s
Bump mathlib dependency to 805bbc4 Build and Lint #190: Pull request #70 synchronize by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Bump mathlib dependency to 805bbc4 Build and Lint #189: Pull request #70 opened by github-actions Bot
Action required hopscotch/lkg-bump
hopscotch/lkg-bump
Action required
Fix the build (#69) Build and Lint #188: Commit 4a1e6f7 pushed by RemyDegenne
5m 50s main
main
5m 50s
Fix the build Build and Lint #187: Pull request #69 opened by RemyDegenne
6m 41s RemyDegenne:fix
RemyDegenne:fix
6m 41s
Add the remainder of the testing-lower-bounds project (#68) Build and Lint #186: Commit fe27689 pushed by RemyDegenne
5m 9s main
main
5m 9s
Bump mathlib dependency to d020779 (#67) Build and Lint #185: Commit 13535ea pushed by RemyDegenne
6m 10s main
main
6m 10s
Add the remainder of the testing-lower-bounds project Build and Lint #184: Pull request #68 opened by RemyDegenne
6m 26s RemyDegenne:RD_numeraire
RemyDegenne:RD_numeraire
6m 26s
Bump mathlib dependency to d020779 Build and Lint #183: Pull request #67 opened by github-actions Bot
5m 5s hopscotch/lkg-bump
hopscotch/lkg-bump
5m 5s
Bump mathlib dependency to ba2e6f0 (#65) Build and Lint #182: Commit 2207208 pushed by zixiaowang17
6m 34s main
main
6m 34s
Port the testing-lower-bounds repository (#66) Build and Lint #181: Commit b9a6e8c pushed by RemyDegenne
6m 16s main
main
6m 16s