Skip to content
Add PR to project

fix(math): Backport of pull requests #17352 and #18214 to feature/v.0.47.x-ics-lsm branch #1262

Sign in to view logs

fix(math): Backport of pull requests #17352 and #18214 to feature/v.0.47.x-ics-lsm branch

fix(math): Backport of pull requests #17352 and #18214 to feature/v.0.47.x-ics-lsm branch #1262

Triggered via pull request January 30, 2024 14:16
@dusan-maksimovicdusan-maksimovic
opened #19293
informalsystems:dusan/fix-bigint-mutation
Status Failure
Total duration 14s
Artifacts –

project.yml

on: pull_request
Add pull request to project
3s
Add pull request to project
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Add pull request to project
Input required and not supplied: github-token
Add pull request to project
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/add-to-project@v0.3.0. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.