Skip to content

Tony/320 failed host lookup#322

Merged
gjwgit merged 3 commits into
devfrom
tony/320_failed_host_lookup
May 20, 2026
Merged

Tony/320 failed host lookup#322
gjwgit merged 3 commits into
devfrom
tony/320_failed_host_lookup

Conversation

@tonypioneer
Copy link
Copy Markdown
Collaborator

Pull Request Details

Description

Fixed the issue and optimised the WebID validator.

Related Issues

#320

Type of Change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • This change requires a documentation update

How To Test?

Build and run the app.

Checklist

  • Screenshots included in linked issue PERMISSION FORM: Catch failed host lookup #320
  • Changes adhere to the style and coding guidelines
  • I have performed a self-review of my code
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • Any dependent changes have been merged and published in downstream modules
  • The update contains no confidential information
  • The update has no duplicated content
  • No lint check errors are related to these changes (make prep or flutter analyze lib)
  • Integration test dart test output or screenshot included in issue #
  • I tested the PR on these devices:
    • Android
    • iOS
    • Linux
    • MacOS
    • Windows
    • Web
  • I have identified reviewers
  • The PR has been approved by reviewers

Finalising

  • Merge dev into the this branch
  • Resolve any conflicts
  • Add a one line summary into the CHANGELOG.md
  • Push to the git repository and review
  • Merge the PR into dev

@tonypioneer tonypioneer requested a review from gjwgit May 19, 2026 13:50
@tonypioneer tonypioneer linked an issue May 19, 2026 that may be closed by this pull request
10 tasks
@gjwgit gjwgit merged commit 4bd3d2f into dev May 20, 2026
10 of 20 checks passed
@gjwgit gjwgit deleted the tony/320_failed_host_lookup branch May 20, 2026 01:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PERMISSION FORM: Catch failed host lookup

2 participants