Merge pull request #19 from Araq/araq-opt · Araq/malebolgia@f982cbc

Triggered via push August 29, 2023 20:52

Araq

master

Status Success

Total duration 1m 45s

Artifacts –

ci.yml

on: push

Matrix: build

8 warnings

A custom '=destroy' hook which takes a 'var T' parameter is deprecated; it should take a 'T' parameter [Deprecated]

`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]

A custom '=destroy' hook which takes a 'var T' parameter is deprecated; it should take a 'T' parameter [Deprecated]

`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]

A custom '=destroy' hook which takes a 'var T' parameter is deprecated; it should take a 'T' parameter [Deprecated]

`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]

A custom '=destroy' hook which takes a 'var T' parameter is deprecated; it should take a 'T' parameter [Deprecated]

`=destroy`(dest.value) can raise an unlisted exception: Exception [Effect]