Skip to content

Actions: leanprover/lean4

Actions

Adaptation PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
adaptation-pr.yml
2,500+ workflow runs
2,500+ 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
feat: introduce Std.Internal.SSL.Context Adaptation PR #3033: Pull request #14064 synchronize by algebraic-dev
1s
1s
perf: cache elaboration of section variables across commands Adaptation PR #3032: Pull request #14595 synchronize by marcelolynch
7s
7s
feat: lake: separate leanir job Adaptation PR #3031: Pull request #14906 synchronize by tydeu
1s
1s
feat: add Html type Adaptation PR #3030: Pull request #14935 synchronize by Vtec234
43s
43s
feat: introduce Std.Internal.SSL.Context Adaptation PR #3029: Pull request #14064 synchronize by algebraic-dev
1s
1s
feat: verify partition for hashmaps Adaptation PR #3028: Pull request #11363 synchronize by jt0202
7s
7s
feat: verify partition for hashmaps Adaptation PR #3027: Pull request #11363 synchronize by jt0202
1s
1s
feat: verify partition for hashmaps Adaptation PR #3026: Pull request #11363 synchronize by jt0202
10s
10s
feat: verify partition for hashmaps Adaptation PR #3025: Pull request #11363 synchronize by jt0202
7s
7s
perf: cache elaboration of section variables across commands Adaptation PR #3024: Pull request #14595 synchronize by marcelolynch
1s
1s
feat: add HTTP client Adaptation PR #3023: Pull request #14548 synchronize by algebraic-dev
1s
1s
feat: add HTTP client connection Adaptation PR #3022: Pull request #14547 synchronize by algebraic-dev
10s
10s
perf: cache elaboration of section variables across commands Adaptation PR #3021: Pull request #14595 synchronize by marcelolynch
10s
10s
perf: cache elaboration of section variables across commands Adaptation PR #3020: Pull request #14595 synchronize by marcelolynch
7s
7s
chore: update to mimalloc 3.5.0 Adaptation PR #3019: Pull request #14866 synchronize by Kha
2s
2s
chore: update to mimalloc 3.5.0 Adaptation PR #3018: Pull request #14866 synchronize by Kha
1s
1s
feat: add Html type Adaptation PR #3017: Pull request #14935 synchronize by Vtec234
25s
25s
feat: add Html type Adaptation PR #3016: Pull request #14935 synchronize by Vtec234
29s
29s
perf: give currRecDepth its own ReaderT layer in CoreM Adaptation PR #3015: Pull request #14970 synchronize by Kha
46s
46s
perf: heartbeat and theap in one thread-local Adaptation PR #3014: Pull request #14982 synchronize by TwoFX
8s
8s
perf: heartbeat and theap in one thread-local Adaptation PR #3013: Pull request #14982 synchronize by TwoFX
1s
1s
fix: use the correct calling convention when over-applying a closure in lean_apply_m Adaptation PR #3012: Pull request #14969 closed by Kha
38s
38s
perf: restrict and record option accesses during type class resolution Adaptation PR #3011: Pull request #14932 synchronize by Kha
8s
8s
feat: lake: separate leanir job Adaptation PR #3010: Pull request #14906 labeled by mathlib-lean-pr-testing Bot
9s
9s
fix: use the correct calling convention when over-applying a closure in lean_apply_m Adaptation PR #3009: Pull request #14969 labeled by Kha
6s
6s