8000 Why did the deploy workflow not create the 2.8.0 release? · Issue #7983 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Why did the deploy workflow not create the 2.8.0 release? #7983
New issue
New issue
Open
Open
Why did the deploy workflow not create the 2.8.0 release?#7983
Labels
infra: github workflowsIssues related to GitHub workflows and actions (not in changelog)
@andreasabel

Description

@andreasabel
andreasabel
opened on Jul 5, 2025

Pushing the tag v2.8.0 skipped the last step that would have created the release:

Image

@L-TChen : the last step is guarded by if: success(). But it seems like none of the previous steps failed....

Metadata

Metadata

Assignees

No one assigned

    Labels

    infra: github workflowsIssues related to GitHub workflows and actions (not in changelog)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      0