Skip to content
Website

fix: make union_derivation private #761

Sign in to view logs

fix: make union_derivation private

fix: make union_derivation private #761

Triggered via pull request June 26, 2024 10:36
@ThijsBroersenThijsBroersen
opened #1133
ThijsBroersen:cleanup-make-union_derivation-private
Status Success
Total duration 6m 0s
Artifacts –

site.yml

on: pull_request
Build and Test
5m 52s
Build and Test
Publish Docs
0s
Publish Docs
Generate README
0s
Generate README
Fit to window
Zoom out
Zoom in

Annotations

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