github.com/flux-rs/flux

commit signals (30)

• AiAuthor
  Tool: github-copilotCommit: 17d2a4bc66debb50bd92614b4bffc36dd8fb825eAuthored: 1 week ago (Fri, 24 Jul 2026 00:38:46 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 17d2a4bc66debb50bd92614b4bffc36dd8fb825eAuthored: 1 week ago (Fri, 24 Jul 2026 00:38:46 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: b4e40e5295483402f67718f397098739453442b4Authored: 2 weeks ago (Mon, 13 Jul 2026 18:01:07 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: b4e40e5295483402f67718f397098739453442b4Authored: 2 weeks ago (Mon, 13 Jul 2026 18:01:07 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 1d98676057a7839c6c468aa3dd556ab769a150faAuthored: 3 weeks ago (Fri, 10 Jul 2026 20:06:12 +0000)Match: Copilot
• AiAuthor
  Tool: github-copilotCommit: 0c02de1775fa0dce1d1563197dfa53ad57275071Authored: 1 month ago (Thu, 18 Jun 2026 22:51:44 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 0c02de1775fa0dce1d1563197dfa53ad57275071Authored: 1 month ago (Thu, 18 Jun 2026 22:51:44 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 2b948c6e5e786b68fcdf315128fdb278f6a43e81Authored: 1 month ago (Mon, 15 Jun 2026 15:24:18 +0000)Match: Copilot
• AiAuthor
  Tool: github-copilotCommit: f543615091f2bdf1fa9baea8f88ae0efecab611cAuthored: 2 months ago (Fri, 29 May 2026 16:03:37 +0000)Match: Copilot
• AiAuthor
  Tool: github-copilotCommit: 19dfee63d38cc2e18ef668d7688a2e8adbc0f9e0Authored: 2 months ago (Fri, 22 May 2026 13:29:35 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 19dfee63d38cc2e18ef668d7688a2e8adbc0f9e0Authored: 2 months ago (Fri, 22 May 2026 13:29:35 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 0cc1c5a8e5a72e816c73fbd41a00ad7ca5a0d112Authored: 2 months ago (Fri, 15 May 2026 20:32:25 +0000)Match: Copilot
• AiAuthor
  Tool: github-copilotCommit: 9e4be6e13f487fe70ee11eb9f586215e42b7397eAuthored: 2 months ago (Thu, 14 May 2026 21:15:37 +0000)Match: Copilot
• AiAuthor
  Tool: github-copilotCommit: 27994e8e36f636d3570370d05b4e5fcd38ae3afaAuthored: 2 months ago (Sun, 10 May 2026 23:33:30 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 27994e8e36f636d3570370d05b4e5fcd38ae3afaAuthored: 2 months ago (Sun, 10 May 2026 23:33:30 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: ebe026f0f8ec8c324fbd15c9a7fb72e1a6e4ef95Authored: 2 months ago (Sat, 2 May 2026 20:48:16 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: ebe026f0f8ec8c324fbd15c9a7fb72e1a6e4ef95Authored: 2 months ago (Sat, 2 May 2026 20:48:16 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: c545d946a5a3380eccad1b5180856228460a7d3eAuthored: 3 months ago (Mon, 20 Apr 2026 01:13:45 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 1372da4c80cf859768406095c9758213e08fe510Authored: 3 months ago (Wed, 8 Apr 2026 17:09:56 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiCoAuthor
  Tool: github-copilotCommit: 270a7b2e04944a017089766fb1b99f5a92477e19Authored: 3 months ago (Tue, 7 Apr 2026 16:30:29 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 037124c592b73abd843795753b3633209af5cb84Authored: 3 months ago (Tue, 7 Apr 2026 16:25:03 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: 15fe05667fda26b95f899f06cb4d2e00b180e87dAuthored: 4 months ago (Wed, 1 Apr 2026 13:51:15 +0000)Match: Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 3faf64d1596966ca896f42d0cecffc0c9f5a99d9Authored: 5 months ago (Thu, 19 Feb 2026 14:53:39 +0000)Match: Copilot
• AiCoAuthor
  Tool: github-copilotCommit: c7a9f7be0edae21fb0e2931f9875598354c20fa0Authored: 5 months ago (Thu, 12 Feb 2026 21:42:57 +0000)Match: Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: 5187644d0c6472745f75570c93f2100f94e308d5Authored: 5 months ago (Thu, 12 Feb 2026 21:40:13 +0000)Match: copilot-swe-agent[bot]
• AiAuthor
  Tool: github-copilotCommit: 54396fefeb0739d344013ffb0df6cb0716d811a5Authored: 5 months ago (Thu, 12 Feb 2026 21:40:13 +0000)Match: copilot-swe-agent[bot]
• AiAuthor
  Tool: github-copilotCommit: ca016c5d0e3cd1ea5a1bdf1aca6cc9b247a521e2Authored: 5 months ago (Thu, 12 Feb 2026 21:40:13 +0000)Match: copilot-swe-agent[bot]
• AiAuthor
  Tool: github-copilotCommit: 151c3fb92b5b839517c582feeea19a10b68a64a9Authored: 5 months ago (Thu, 12 Feb 2026 21:40:13 +0000)Match: copilot-swe-agent[bot]
• AiCoAuthor
  Tool: github-copilotCommit: f0b351777066bce03d6fc07574d47705a093ac21Authored: 5 months ago (Wed, 11 Feb 2026 14:23:35 +0000)Match: Co-authored-by: Copilot <198982749+Copilot@users.noreply.github.com>
• AiAuthor
  Tool: github-copilotCommit: b5977a5c595898f77e6e0abf7b0691130878ef0bAuthored: 6 months ago (Tue, 27 Jan 2026 16:28:33 +0000)Match: Copilot

source signals (1)

• File: .github/copilot-instructions.mdTool: github-copilot

  # Flux Repository - Copilot Coding Agent Instructions
  
  ## Overview
  
  Flux is a refinement type checker for Rust. This is a Rust workspace with multiple crates, requiring specific dependencies (Z3, fixpoint) and custom build tooling through `cargo xtask`.
  
  **Languages & Frameworks:** Rust (edition 2024), custom rustc integration  
  **Repository Size:** ~15 crates in workspace + 4 library packages + test suites
  
  **Note:** Required dependencies (fixpoint and Z3 4.12.1) are automatically installed in the Copilot 

ignorefile signals (0)

none