Skip to content

Actions: seewoo5/DifferentProofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
97 workflow runs
97 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
Basel problem: Parseval and Cauchy cotangent-squeeze proofs (#19) Blueprint Pages #46: Commit 1f3ce5d pushed by seewoo5
8m 18s main
main
8m 18s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #50: Pull request #19 synchronize by seewoo5
1m 53s basel-problem
basel-problem
1m 53s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #45: Pull request #19 synchronize by seewoo5
7m 31s basel-problem
basel-problem
7m 31s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #49: Pull request #19 synchronize by seewoo5
2m 2s basel-problem
basel-problem
2m 2s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #44: Pull request #19 synchronize by seewoo5
6m 30s basel-problem
basel-problem
6m 30s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #48: Pull request #19 synchronize by seewoo5
3m 9s basel-problem
basel-problem
3m 9s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #43: Pull request #19 synchronize by seewoo5
7m 20s basel-problem
basel-problem
7m 20s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #42: Pull request #19 synchronize by seewoo5
5m 13s basel-problem
basel-problem
5m 13s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #47: Pull request #19 synchronize by seewoo5
3m 10s basel-problem
basel-problem
3m 10s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #41: Pull request #19 synchronize by seewoo5
6m 0s basel-problem
basel-problem
6m 0s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #46: Pull request #19 synchronize by seewoo5
2m 2s basel-problem
basel-problem
2m 2s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #45: Pull request #19 synchronize by seewoo5
1m 54s basel-problem
basel-problem
1m 54s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #40: Pull request #19 synchronize by seewoo5
5m 53s basel-problem
basel-problem
5m 53s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #39: Pull request #19 synchronize by seewoo5
5m 7s basel-problem
basel-problem
5m 7s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #44: Pull request #19 synchronize by seewoo5
2m 0s basel-problem
basel-problem
2m 0s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #43: Pull request #19 synchronize by seewoo5
2m 8s basel-problem
basel-problem
2m 8s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #38: Pull request #19 synchronize by seewoo5
6m 13s basel-problem
basel-problem
6m 13s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #42: Pull request #19 synchronize by seewoo5
1m 58s basel-problem
basel-problem
1m 58s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #37: Pull request #19 synchronize by seewoo5
6m 5s basel-problem
basel-problem
6m 5s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Blueprint Pages #36: Pull request #19 opened by seewoo5
5m 53s basel-problem
basel-problem
5m 53s
Basel problem: Parseval and Cauchy cotangent-squeeze proofs Lean Action CI #41: Pull request #19 opened by seewoo5
3m 18s basel-problem
basel-problem
3m 18s
Fix Blueprint CI: pin verso to v4.30.0 tag instead of orphaned SHA (#18) Blueprint Pages #35: Commit 5f13850 pushed by seewoo5
5m 46s main
main
5m 46s
Fix Blueprint CI: pin verso to v4.30.0 tag instead of orphaned SHA Lean Action CI #40: Pull request #18 opened by seewoo5
3m 24s fix-blueprint-ci-verso-pin
fix-blueprint-ci-verso-pin
3m 24s
Fix Blueprint CI: pin verso to v4.30.0 tag instead of orphaned SHA Blueprint Pages #34: Pull request #18 opened by seewoo5
5m 48s fix-blueprint-ci-verso-pin
fix-blueprint-ci-verso-pin
5m 48s
add missing link Blueprint Pages #33: Commit 9db0c7d pushed by seewoo5
1m 13s main
main
1m 13s