Skip to content
Snippets Groups Projects

Remove Agda from expected-to-fail packages on HEAD

Merged Remove Agda from expected-to-fail packages on HEAD
agda-should-work-again into master
Merged Ryan Scott requested to merge agda-should-work-again into master

Merge request reports

Merge request pipeline #56336 passed

Stage: test

Merge request pipeline passed for c50e1d64

Approval is optional

Merged by Ryan ScottRyan Scott 2 years ago (Aug 31, 2022 3:04pm UTC)

Merge details

  • Changes merged into master with c50e1d64.
  • Deleted the source branch.
  • Auto-merge enabled

Pipeline #56416 passed

Stage: test
Stage: update-repo
Stage: deploy

Pipeline passed for c50e1d64 on master

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply