build

Replace PLT stub detection code with upstream macaw functionality #54

Annotations

12 warnings

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache/restore@v3, actions/cache/save@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

The import of ‘+, <=’

• No explicit implementation for

Pattern match is redundant

Defined but not used: ‘funArgs’

The import of ‘Control.Lens’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.Parameterized.Context’ is redundant

The import of ‘Lang.Crucible.Backend’ is redundant

The import of ‘Lang.Crucible.Backend.Simple’ is redundant

The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "stubs-docs". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/