Skip to content

Add parent class for Nothing and Thing. Unify common methods and remove redundant methods from child classes. #1796

Add parent class for Nothing and Thing. Unify common methods and remove redundant methods from child classes.

Add parent class for Nothing and Thing. Unify common methods and remove redundant methods from child classes. #1796

Triggered via pull request February 22, 2024 15:28
Status Success
Total duration 10m 14s
Artifacts

linux-ci.yml

on: pull_request
Build and Test (Ubuntu)
10m 4s
Build and Test (Ubuntu)
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build and Test (Ubuntu)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.