Make workflow mandatory, fix build issues
      
    
    
  
Home /
    Input Output / 
hedgehog-extras
  
  
          Oct 24, 1-2 PM (0)
        
      
          Oct 24, 2-3 PM (0)
        
      
          Oct 24, 3-4 PM (0)
        
      
          Oct 24, 4-5 PM (0)
        
      
          Oct 24, 5-6 PM (0)
        
      
          Oct 24, 6-7 PM (0)
        
      
          Oct 24, 7-8 PM (0)
        
      
          Oct 24, 8-9 PM (0)
        
      
          Oct 24, 9-10 PM (0)
        
      
          Oct 24, 10-11 PM (3)
        
      
          Oct 24, 11-12 AM (1)
        
      
          Oct 25, 12-1 AM (0)
        
      
          Oct 25, 1-2 AM (0)
        
      
          Oct 25, 2-3 AM (0)
        
      
          Oct 25, 3-4 AM (0)
        
      
          Oct 25, 4-5 AM (0)
        
      
          Oct 25, 5-6 AM (0)
        
      
          Oct 25, 6-7 AM (0)
        
      
          Oct 25, 7-8 AM (0)
        
      
          Oct 25, 8-9 AM (0)
        
      
          Oct 25, 9-10 AM (0)
        
      
          Oct 25, 10-11 AM (0)
        
      
          Oct 25, 11-12 PM (0)
        
      
          Oct 25, 12-1 PM (0)
        
      
          Oct 25, 1-2 PM (0)
        
      
          Oct 25, 2-3 PM (0)
        
      
          Oct 25, 3-4 PM (0)
        
      
          Oct 25, 4-5 PM (0)
        
      
          Oct 25, 5-6 PM (0)
        
      
          Oct 25, 6-7 PM (0)
        
      
          Oct 25, 7-8 PM (0)
        
      
          Oct 25, 8-9 PM (0)
        
      
          Oct 25, 9-10 PM (0)
        
      
          Oct 25, 10-11 PM (0)
        
      
          Oct 25, 11-12 AM (0)
        
      
          Oct 26, 12-1 AM (0)
        
      
          Oct 26, 1-2 AM (4)
        
      
          Oct 26, 2-3 AM (0)
        
      
          Oct 26, 3-4 AM (0)
        
      
          Oct 26, 4-5 AM (0)
        
      
          Oct 26, 5-6 AM (3)
        
      
          Oct 26, 6-7 AM (0)
        
      
          Oct 26, 7-8 AM (1)
        
      
          Oct 26, 8-9 AM (0)
        
      
          Oct 26, 9-10 AM (1)
        
      
          Oct 26, 10-11 AM (0)
        
      
          Oct 26, 11-12 PM (0)
        
      
          Oct 26, 12-1 PM (1)
        
      
          Oct 26, 1-2 PM (3)
        
      
          Oct 26, 2-3 PM (0)
        
      
          Oct 26, 3-4 PM (0)
        
      
          Oct 26, 4-5 PM (0)
        
      
          Oct 26, 5-6 PM (0)
        
      
          Oct 26, 6-7 PM (0)
        
      
          Oct 26, 7-8 PM (0)
        
      
          Oct 26, 8-9 PM (0)
        
      
          Oct 26, 9-10 PM (0)
        
      
          Oct 26, 10-11 PM (0)
        
      
          Oct 26, 11-12 AM (0)
        
      
          Oct 27, 12-1 AM (0)
        
      
          Oct 27, 1-2 AM (0)
        
      
          Oct 27, 2-3 AM (0)
        
      
          Oct 27, 3-4 AM (0)
        
      
          Oct 27, 4-5 AM (0)
        
      
          Oct 27, 5-6 AM (0)
        
      
          Oct 27, 6-7 AM (0)
        
      
          Oct 27, 7-8 AM (0)
        
      
          Oct 27, 8-9 AM (0)
        
      
          Oct 27, 9-10 AM (0)
        
      
          Oct 27, 10-11 AM (0)
        
      
          Oct 27, 11-12 PM (0)
        
      
          Oct 27, 12-1 PM (0)
        
      
          Oct 27, 1-2 PM (0)
        
      
          Oct 27, 2-3 PM (0)
        
      
          Oct 27, 3-4 PM (0)
        
      
          Oct 27, 4-5 PM (0)
        
      
          Oct 27, 5-6 PM (0)
        
      
          Oct 27, 6-7 PM (0)
        
      
          Oct 27, 7-8 PM (0)
        
      
          Oct 27, 8-9 PM (0)
        
      
          Oct 27, 9-10 PM (0)
        
      
          Oct 27, 10-11 PM (0)
        
      
          Oct 27, 11-12 AM (0)
        
      
          Oct 28, 12-1 AM (0)
        
      
          Oct 28, 1-2 AM (0)
        
      
          Oct 28, 2-3 AM (0)
        
      
          Oct 28, 3-4 AM (0)
        
      
          Oct 28, 4-5 AM (0)
        
      
          Oct 28, 5-6 AM (0)
        
      
          Oct 28, 6-7 AM (0)
        
      
          Oct 28, 7-8 AM (0)
        
      
          Oct 28, 8-9 AM (0)
        
      
          Oct 28, 9-10 AM (0)
        
      
          Oct 28, 10-11 AM (0)
        
      
          Oct 28, 11-12 PM (5)
        
      
          Oct 28, 12-1 PM (2)
        
      
          Oct 28, 1-2 PM (0)
        
      
          Oct 28, 2-3 PM (5)
        
      
          Oct 28, 3-4 PM (3)
        
      
          Oct 28, 4-5 PM (0)
        
      
          Oct 28, 5-6 PM (0)
        
      
          Oct 28, 6-7 PM (0)
        
      
          Oct 28, 7-8 PM (0)
        
      
          Oct 28, 8-9 PM (0)
        
      
          Oct 28, 9-10 PM (0)
        
      
          Oct 28, 10-11 PM (0)
        
      
          Oct 28, 11-12 AM (0)
        
      
          Oct 29, 12-1 AM (0)
        
      
          Oct 29, 1-2 AM (0)
        
      
          Oct 29, 2-3 AM (0)
        
      
          Oct 29, 3-4 AM (0)
        
      
          Oct 29, 4-5 AM (0)
        
      
          Oct 29, 5-6 AM (0)
        
      
          Oct 29, 6-7 AM (0)
        
      
          Oct 29, 7-8 AM (0)
        
      
          Oct 29, 8-9 AM (0)
        
      
          Oct 29, 9-10 AM (0)
        
      
          Oct 29, 10-11 AM (0)
        
      
          Oct 29, 11-12 PM (0)
        
      
          Oct 29, 12-1 PM (0)
        
      
          Oct 29, 1-2 PM (0)
        
      
          Oct 29, 2-3 PM (0)
        
      
          Oct 29, 3-4 PM (0)
        
      
          Oct 29, 4-5 PM (0)
        
      
          Oct 29, 5-6 PM (0)
        
      
          Oct 29, 6-7 PM (0)
        
      
          Oct 29, 7-8 PM (0)
        
      
          Oct 29, 8-9 PM (0)
        
      
          Oct 29, 9-10 PM (0)
        
      
          Oct 29, 10-11 PM (0)
        
      
          Oct 29, 11-12 AM (0)
        
      
          Oct 30, 12-1 AM (0)
        
      
          Oct 30, 1-2 AM (0)
        
      
          Oct 30, 2-3 AM (0)
        
      
          Oct 30, 3-4 AM (0)
        
      
          Oct 30, 4-5 AM (0)
        
      
          Oct 30, 5-6 AM (0)
        
      
          Oct 30, 6-7 AM (0)
        
      
          Oct 30, 7-8 AM (0)
        
      
          Oct 30, 8-9 AM (0)
        
      
          Oct 30, 9-10 AM (0)
        
      
          Oct 30, 10-11 AM (0)
        
      
          Oct 30, 11-12 PM (3)
        
      
          Oct 30, 12-1 PM (4)
        
      
          Oct 30, 1-2 PM (1)
        
      
          Oct 30, 2-3 PM (0)
        
      
          Oct 30, 3-4 PM (0)
        
      
          Oct 30, 4-5 PM (0)
        
      
          Oct 30, 5-6 PM (0)
        
      
          Oct 30, 6-7 PM (0)
        
      
          Oct 30, 7-8 PM (0)
        
      
          Oct 30, 8-9 PM (0)
        
      
          Oct 30, 9-10 PM (0)
        
      
          Oct 30, 10-11 PM (0)
        
      
          Oct 30, 11-12 AM (0)
        
      
          Oct 31, 12-1 AM (0)
        
      
          Oct 31, 1-2 AM (0)
        
      
          Oct 31, 2-3 AM (0)
        
      
          Oct 31, 3-4 AM (0)
        
      
          Oct 31, 4-5 AM (0)
        
      
          Oct 31, 5-6 AM (0)
        
      
          Oct 31, 6-7 AM (0)
        
      
          Oct 31, 7-8 AM (0)
        
      
          Oct 31, 8-9 AM (0)
        
      
          Oct 31, 9-10 AM (0)
        
      
          Oct 31, 10-11 AM (0)
        
      
          Oct 31, 11-12 PM (0)
        
      
          Oct 31, 12-1 PM (0)
        
      
          Oct 31, 1-2 PM (0)
        
      
    
40 commits this week
    
    
Oct 24, 2025
      -
Oct 31, 2025
    
  
  
      Update hedgehog-extras.cabal
      
        
    
  Co-authored-by: Copilot <[email protected]>
      Make workflow mandatory, fix build issues
      
    
    
  
      Bump tar-0.8, and update upper bounds on deprecated constraints
      
    
    
  
      Bump tar-0.8, and update upper bounds on deprecated constraints
      
    
    
  
      Bump tar-0.8, and update upper bounds on deprecated constraints
      
    
    
  
      Remove dependency on microlens and generic-lens
      
    
    
  
      Remove dependency on microlens and generic-lens
      
    
    
  
      Remove dependency on hw-prelude
      
    
    
  
      ci(cabal-outdated): fail workflow when outdated dependencies are detected
      
        
    
  This change ensures that Outdated dependency badges accurately reflect the build status
      chore: update copyright year to 2025
      
    
    
  
      ci(cabal-outdated): fail workflow when outdated dependencies are detected
      
        
    
  This change ensures that Outdated dependency badges accurately reflect the build status
      docs: add comprehensive README with project documentation
      
        
    
  The README includes: - Project overview and purpose as a supplemental library for Hedgehog - Installation instructions for package.yaml and .cabal files - Detailed release workflow documentation covering both automatic and manual tagging processes - CI/CD pipeline integration with GitHub Actions - Hackage candidate upload and publication process - Build status badges for dependency tracking and CI status The release documentation is particularly comprehensive, explaining: - Automatic tag creation when version bumps are pushed to main - Manual tag creation process for direct control - Automated workflow steps including testing, validation, and Hackage candidate uploads - Post-workflow steps for reviewing and publishing candidates
      ci: add automated hackage publishing and streamline release workflow
      
        
    
  Implements comprehensive automated publishing to Hackage with proper validation and error handling, while consolidating the CI/CD pipeline for more efficient releases. Publishing improvements: - Switch from curl-based uploads to native cabal upload command - Configure credentials via cabal config file instead of curl auth - Add automatic version extraction from cabal file - Implement duplicate upload detection to prevent failures - Support both candidate and production publishing modes Release workflow enhancements: - Merge separate publish job into release job for efficiency - Add write permissions for automated release creation - Support both tag-based and manual release triggers - Switch to softprops/action-gh-release for robust releases - Remove redundant artifact upload steps Configuration changes: - Add HACKAGE_USERNAME and HACKAGE_PASSWORD secret configuration - Install Haskell toolchain in release job for cabal commands This change significantly simplifies the deployment pipeline while adding proper error handling and validation to prevent common publishing issues like duplicate uploads or missing credentials.
      docs: add comprehensive README with project documentation
      
        
    
  The README includes: - Project overview and purpose as a supplemental library for Hedgehog - Installation instructions for package.yaml and .cabal files - Detailed release workflow documentation covering both automatic and manual tagging processes - CI/CD pipeline integration with GitHub Actions - Hackage candidate upload and publication process - Build status badges for dependency tracking and CI status The release documentation is particularly comprehensive, explaining: - Automatic tag creation when version bumps are pushed to main - Manual tag creation process for direct control - Automated workflow steps including testing, validation, and Hackage candidate uploads - Post-workflow steps for reviewing and publishing candidates