.github/workflows/ci.yml

Workflow runs for .github/workflows/ci.yml

• Unelaborate deref temps in reverse postorder

  completed successfully:
  .github/workflows/ci.yml#1838:Pull request#358openedbycoord-e
  claude/gifted-bohr-14ag86

  Oct 28, 20262m 9s
  More actions for workflow run 1838

• Unelaborate deref temps in reverse postorder

  completed successfully:
  .github/workflows/ci.yml#1837:Commit9fca04dpushedbycoord-e
  claude/gifted-bohr-14ag86

  Oct 28, 20262m 4s
  More actions for workflow run 1837

• Stop dropping an enum at any enum already being dropped around it

  completed successfully:
  .github/workflows/ci.yml#1836:Pull request#356openedbycoord-e
  claude/gifted-bohr-f2nxpn

  Oct 27, 20262m 32s
  More actions for workflow run 1836

• Stop dropping an enum at any enum already being dropped around it

  completed successfully:
  .github/workflows/ci.yml#1835:Commitccef9c8pushedbycoord-e
  claude/gifted-bohr-f2nxpn

  Oct 27, 20262m 13s
  More actions for workflow run 1835

• Don't re-instantiate the already-instantiated signature in precompute_callable_param_contracts

  completed successfully:
  .github/workflows/ci.yml#1834:Pull request#355openedbycoord-e
  claude/gifted-bohr-yk6a0s

  Oct 24, 20262m 22s
  More actions for workflow run 1834

• Don't re-instantiate the already-instantiated signature in precompute…

  completed successfully:
  .github/workflows/ci.yml#1833:Commit5894e72pushedbycoord-e
  claude/gifted-bohr-yk6a0s

  Oct 24, 20262m 16s
  More actions for workflow run 1833

• Attach invariant! to the loop that contains it

  completed successfully:
  .github/workflows/ci.yml#1832:Pull request#353openedbycoord-e
  claude/gifted-bohr-l4smuf

  Oct 23, 20262m 21s
  More actions for workflow run 1832

• Attach invariant! to the loop that contains it

  completed successfully:
  .github/workflows/ci.yml#1831:Commit1fd83d6pushedbycoord-e
  claude/gifted-bohr-l4smuf

  Oct 23, 20263m 48s
  More actions for workflow run 1831

• 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
  More actions for workflow run 1830

• 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
  More actions for workflow run 1829

• 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
  More actions for workflow run 1828

• 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
  More actions for workflow run 1827

• 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
  More actions for workflow run 1826

• 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
  More actions for workflow run 1825

• 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
  More actions for workflow run 1824

• 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
  More actions for workflow run 1823

• 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
  More actions for workflow run 1822

• 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
  More actions for workflow run 1821

• 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
  More actions for workflow run 1820

• 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
  More actions for workflow run 1819

• 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
  More actions for workflow run 1818

• 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
  More actions for workflow run 1817

• 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
  More actions for workflow run 1816

• 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
  More actions for workflow run 1815

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

  completed successfully:
  .github/workflows/ci.yml#1814:Commitb2194d8pushedbycoord-e
  main

  Oct 13, 20262m 36s
  More actions for workflow run 1814