.github/workflows/ci.yml

ci.yml

1782 workflow runs

Unelaborate the &mut deref temps GVN rewrites into copies
completed successfully:
.github/workflows/ci.yml#1830:Pull request#351openedbycoord-e
claude/gifted-bohr-8y7kuk
Oct 22, 20262m 18s
Unelaborate the &mut deref temps GVN rewrites into copies
completed successfully:
.github/workflows/ci.yml#1829:Commit7be8e8apushedbycoord-e
claude/gifted-bohr-8y7kuk
Oct 22, 20262m 14s
Disable MIR inlining so calls are always checked against callee specs
completed successfully:
.github/workflows/ci.yml#1828:Pull request#349openedbycoord-e
claude/gifted-bohr-6wptpz
Oct 20, 20262m 38s
Disable MIR inlining so calls are always checked against callee specs
completed successfully:
.github/workflows/ci.yml#1827:Commit3e44a25pushedbycoord-e
claude/gifted-bohr-6wptpz
Oct 20, 20262m 20s
Remove writes to a part of a dead local before analysis
completed successfully:
.github/workflows/ci.yml#1826:Pull request#347openedbycoord-e
claude/gifted-bohr-t43wqn
Oct 19, 20262m 18s
Remove writes to a part of a dead local before analysis
completed successfully:
.github/workflows/ci.yml#1825:Commitdcf3e1cpushedbycoord-e
claude/gifted-bohr-t43wqn
Oct 19, 20261m 59s
Bump syn from 3.0.7 to 3.0.9
completed successfully:
.github/workflows/ci.yml#1824:Pull request#345openedbydependabot[bot]Bot
dependabot/cargo/syn-3.0.9
Oct 19, 20262m 10s
Bump syn from 3.0.7 to 3.0.9
completed successfully:
.github/workflows/ci.yml#1823:Commit6880129pushedbydependabot[bot]Bot
dependabot/cargo/syn-3.0.9
Oct 19, 20262m 22s
Skip only truly recursive fields when dropping an enum
completed successfully:
.github/workflows/ci.yml#1822:Pull request#342openedbycoord-e
claude/gifted-bohr-54y7h9
Oct 16, 20262m 15s
Skip only truly recursive fields when dropping an enum
completed successfully:
.github/workflows/ci.yml#1821:Commit28acdfapushedbycoord-e
claude/gifted-bohr-54y7h9
Oct 16, 20262m 14s
Type a trait method call by the resolved impl method's type
completed successfully:
.github/workflows/ci.yml#1820:Pull request#339openedbycoord-e
claude/gifted-bohr-dbi6zt
Oct 13, 20262m 35s
Type a trait method call by the resolved impl method's type
completed successfully:
.github/workflows/ci.yml#1819:Commitad9d792pushedbycoord-e
claude/gifted-bohr-dbi6zt
Oct 13, 20262m 20s
Merge pull request #336 from coord-e/dependabot/cargo/syn-3.0.7
completed successfully:
.github/workflows/ci.yml#1818:Commit187a1e9pushedbycoord-e
main
Oct 13, 20262m 31s
Merge pull request #332 from coord-e/claude/gifted-bohr-2ne9df
completed successfully:
.github/workflows/ci.yml#1817:Commit3a8131cpushedbycoord-e
main
Oct 13, 20262m 18s
Bump syn from 3.0.6 to 3.0.7
completed successfully:
.github/workflows/ci.yml#1816:Pull request#336openedbydependabot[bot]Bot
dependabot/cargo/syn-3.0.7
Oct 13, 20262m 32s
Bump syn from 3.0.6 to 3.0.7
completed successfully:
.github/workflows/ci.yml#1815:Commitf7d3229pushedbydependabot[bot]Bot
dependabot/cargo/syn-3.0.7
Oct 13, 20262m 21s
Adjust field indices past .. in spec parameter patterns (#326)
completed successfully:
.github/workflows/ci.yml#1814:Commitb2194d8pushedbycoord-e
main
Oct 13, 20262m 36s
Equate a parameter with its argument only when the body never assigns it
completed successfully:
.github/workflows/ci.yml#1813:Pull request#335synchronizebycoord-e
claude/gifted-bohr-ls42w4
Oct 13, 20262m 21s
Track parameter assignments per block instead of per body
completed successfully:
.github/workflows/ci.yml#1812:Commitb896c63pushedbycoord-e
claude/gifted-bohr-ls42w4
Oct 13, 20262m 10s
Key basic block types by generic args as well as def id
completed successfully:
.github/workflows/ci.yml#1811:Pull request#329synchronizebycoord-e
claude/gifted-bohr-bgmksf
Oct 13, 20262m 14s
Name the instantiation a basic block table is keyed by
completed successfully:
.github/workflows/ci.yml#1810:Commit604ae4epushedbycoord-e
claude/gifted-bohr-bgmksf
Oct 13, 20262m 10s
Analyze trait-bounded generic defs per instantiation; drop Fn closures called via FnOnce
completed successfully:
.github/workflows/ci.yml#1809:Pull request#332synchronizebycoord-e
claude/gifted-bohr-2ne9df
Oct 13, 20261m 35s
Format crate_.rs
completed successfully:
.github/workflows/ci.yml#1808:Commit6af5f03pushedbycoord-e
claude/gifted-bohr-2ne9df
Oct 13, 20261m 29s
Equate a parameter with its argument only when the body never assigns it
completed successfully:
.github/workflows/ci.yml#1807:Pull request#335openedbycoord-e
claude/gifted-bohr-ls42w4
Oct 12, 20262m 21s
Equate a parameter with its argument only when the body never assigns it
completed successfully:
.github/workflows/ci.yml#1806:Commitaf427bdpushedbycoord-e
claude/gifted-bohr-ls42w4
Oct 12, 20262m 12s

Navigation Menu

.github/workflows/ci.yml

1782 workflow runs

Unelaborate the `&mut` deref temps GVN rewrites into copies

Unelaborate the `&mut` deref temps GVN rewrites into copies

Disable MIR inlining so calls are always checked against callee specs

Disable MIR inlining so calls are always checked against callee specs

Remove writes to a part of a dead local before analysis

Remove writes to a part of a dead local before analysis

Bump syn from 3.0.7 to 3.0.9

Bump syn from 3.0.7 to 3.0.9

Skip only truly recursive fields when dropping an enum

Skip only truly recursive fields when dropping an enum

Type a trait method call by the resolved impl method's type

Type a trait method call by the resolved impl method's type

Merge pull request #336 from coord-e/dependabot/cargo/syn-3.0.7

Merge pull request #332 from coord-e/claude/gifted-bohr-2ne9df

Bump syn from 3.0.6 to 3.0.7

Bump syn from 3.0.6 to 3.0.7

Adjust field indices past `..` in spec parameter patterns (#326)

Equate a parameter with its argument only when the body never assigns it

Track parameter assignments per block instead of per body

Key basic block types by generic args as well as def id

Name the instantiation a basic block table is keyed by

Analyze trait-bounded generic defs per instantiation; drop Fn closures called via FnOnce

Format crate_.rs

Equate a parameter with its argument only when the body never assigns it

Equate a parameter with its argument only when the body never assigns it

Workflow runs for .github/workflows/ci.yml

1782 workflow runs