Skip to content
Test

doc: manual: add text on the interaction of extrasymbols and dummy indices #720

Sign in to view logs

doc: manual: add text on the interaction of extrasymbols and dummy indices

doc: manual: add text on the interaction of extrasymbols and dummy indices #720

Triggered via pull request December 5, 2025 13:42
@jodaviesjodavies
opened #753
jodavies:issue-711
Status Success
Total duration 26m 25s
Artifacts –

test.yml

on: pull_request
Matrix: check
Matrix: check-i386
Matrix: check-parform
Matrix: coverage
Matrix: valgrind-check
coverage-finish
5s
coverage-finish
Fit to window
Zoom out
Zoom in

Annotations

23 warnings
Test (default) for tform (flint - no)
Cache save failed.
Test (default) for form (flint - no)
Cache save failed.
Test (default) for tform -w2 (flint - no)
Cache save failed.
Test (extra) for form (flint - no)
Cache save failed.
Test (extra) for tform (flint - no)
Cache save failed.
Test (extra) for tform -w2 (flint - no)
Cache save failed.
Test (default) for tform -w2
Cache save failed.
Test (default) for tform
Cache save failed.
Test (extra) for tform -w2
Cache save failed.
Test (extra) for tform
Cache save failed.
Test (extra) for form
Cache save failed.
Code coverage (extra) for vorm (flint - no)
Cache save failed.
Code coverage (default) for vorm (flint - no)
Cache save failed.
Code coverage (extra) for vorm
Cache save failed.
Code coverage (default) for vorm
Cache save failed.
Code coverage (extra) for tvorm (flint - no)
Cache save failed.
Code coverage (extra) for tvorm -w2
Cache save failed.
Code coverage (extra) for tvorm -w2 (flint - no)
Cache save failed.
Code coverage (default) for tvorm -w2
Cache save failed.
Code coverage (extra) for tvorm
Cache save failed.
Code coverage (default) for tvorm
Cache save failed.
Test (default) for parform
Cache save failed.
Code coverage (default) for tvorm -w2 (flint - no)
Cache save failed.