Skip to content

Merge pull request #108 from kape1395/finite-sets-ext-MapThenSumSet-m… #759

Merge pull request #108 from kape1395/finite-sets-ext-MapThenSumSet-m…

Merge pull request #108 from kape1395/finite-sets-ext-MapThenSumSet-m… #759

Re-run triggered March 15, 2025 19:44
Status Failure
Total duration 50s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build
Resource not accessible by integration
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/