Skip to content

Actions: YaelDillies/apap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
284 workflow runs
284 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
Depend on mathlib directly Build Lean project #363: Commit c0c34b4 pushed by YaelDillies
52m 59s master
master
52m 59s
feat: make ap_in_ff sorry-free Build Lean project #362: Pull request #16 synchronize by dannyply
2m 37s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 37s
feat: make ap_in_ff sorry-free Build Lean project #361: Pull request #16 synchronize by dannyply
1m 52s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
1m 52s
feat: make ap_in_ff sorry-free Build Lean project #360: Pull request #16 synchronize by YaelDillies
2m 24s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 24s
Better variable management Build Lean project #359: Commit 2d71c85 pushed by YaelDillies
50m 28s master
master
50m 28s
Make Hölder be about norm Build Lean project #358: Commit 90956cf pushed by YaelDillies
50m 38s master
master
50m 38s
Blueprint: fix broken declaration references Build Lean project #357: Commit 1f55038 pushed by YaelDillies
49m 24s master
master
49m 24s
feat: make ap_in_ff sorry-free Build Lean project #356: Pull request #16 synchronize by YaelDillies
2m 18s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 18s
feat: make ap_in_ff sorry-free Build Lean project #355: Pull request #16 synchronize by dannyply
1m 26s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
1m 26s
feat: make ap_in_ff sorry-free Build Lean project #354: Pull request #16 synchronize by dannyply
2m 48s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 48s
Bump .github/workflows/lean-release-tag.yml #15: Commit 1d8e97f pushed by YaelDillies
10s master
master
10s
Bump Build Lean project #353: Commit 1d8e97f pushed by YaelDillies
6m 42s master
master
6m 42s
feat: make ap_in_ff sorry-free Build Lean project #352: Pull request #16 synchronize by dannyply
2m 45s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 45s
feat: make ap_in_ff sorry-free Build Lean project #351: Pull request #16 synchronize by dannyply
2m 37s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 37s
feat: make ap_in_ff sorry-free Build Lean project #350: Pull request #16 synchronize by dannyply
3m 36s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
3m 36s
feat: make ap_in_ff sorry-free Build Lean project #349: Pull request #16 synchronize by dannyply
3m 8s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
3m 8s
Depend on AddCombi Build Lean project #348: Commit e284c45 pushed by YaelDillies
7m 23s master
master
7m 23s
feat: make ap_in_ff sorry-free Build Lean project #347: Pull request #16 synchronize by dannyply
2m 59s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 59s
Depend on add-combi Build Lean project #346: Commit 863940c pushed by YaelDillies
7m 31s master
master
7m 31s
feat: make ap_in_ff sorry-free Build Lean project #345: Pull request #16 synchronize by dannyply
2m 49s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 49s
feat: monotonicity of weighted L^p norms in p (#15) Build Lean project #344: Commit 1062db9 pushed by YaelDillies
7m 14s master
master
7m 14s
feat: monotonicity of weighted L^p norms in p Build Lean project #343: Pull request #15 synchronize by dannyply
2m 43s dannyply:weighted-lp-probability
dannyply:weighted-lp-probability
2m 43s
feat: monotonicity of weighted L^p norms in p Build Lean project #342: Pull request #15 synchronize by dannyply
2m 34s dannyply:weighted-lp-probability
dannyply:weighted-lp-probability
2m 34s
feat: make ap_in_ff sorry-free Build Lean project #341: Pull request #16 opened by dannyply
3m 32s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
3m 32s
feat: monotonicity of weighted L^p norms in p Build Lean project #340: Pull request #15 synchronize by dannyply
3m 11s dannyply:weighted-lp-probability
dannyply:weighted-lp-probability
3m 11s