d-flex flex-column width-full">

doc(manual): add examples and statements

9069a4c

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

Test on: pull_request

Test (default) for form

Test (default) for tform

Test (default) for tform -w2

Test (default) for form (flint - no)

Test (default) for tform (flint - no)

Test (default) for tform -w2 (flint - no)

Test (extra) for form

Test (extra) for tform

Test (extra) for tform -w2

Test (extra) for form (flint - no)

Test (extra) for tform (flint - no)

Test (extra) for tform -w2 (flint - no)

Test (default) for parform

32-bit container check for form

32-bit container check for tform

32-bit container check for tform -w2

Valgrind check (default) for vorm (1/5)

Valgrind check (default) for vorm (2/5)

Valgrind check (default) for vorm (3/5)

Valgrind check (default) for vorm (4/5)

Valgrind check (default) for vorm (5/5)

Valgrind check (default) for tvorm (1/10)

Valgrind check (default) for tvorm (2/10)

Valgrind check (default) for tvorm (3/10)

Valgrind check (default) for tvorm (4/10)

Valgrind check (default) for tvorm (5/10)

Valgrind check (default) for tvorm (6/10)

Valgrind check (default) for tvorm (7/10)

Valgrind check (default) for tvorm (8/10)

Valgrind check (default) for tvorm (9/10)

Valgrind check (default) for tvorm (10/10)

Valgrind check (default) for tvorm -w2 (1/10)

Valgrind check (default) for tvorm -w2 (2/10)

Valgrind check (default) for tvorm -w2 (3/10)

Valgrind check (default) for tvorm -w2 (4/10)

Valgrind check (default) for tvorm -w2 (5/10)

Valgrind check (default) for tvorm -w2 (6/10)

Valgrind check (default) for tvorm -w2 (7/10)

Valgrind check (default) for tvorm -w2 (8/10)

Valgrind check (default) for tvorm -w2 (9/10)

Valgrind check (default) for tvorm -w2 (10/10)

Valgrind check (extra) for vorm (1/5)

Valgrind check (extra) for vorm (2/5)

Valgrind check (extra) for vorm (3/5)

Valgrind check (extra) for vorm (4/5)

Valgrind check (extra) for vorm (5/5)

Valgrind check (extra) for tvorm (1/10)

Valgrind check (extra) for tvorm (2/10)

Valgrind check (extra) for tvorm (3/10)

Valgrind check (extra) for tvorm (4/10)

Valgrind check (extra) for tvorm (5/10)

Valgrind check (extra) for tvorm (6/10)

Valgrind check (extra) for tvorm (7/10)

Valgrind check (extra) for tvorm (8/10)

Valgrind check (extra) for tvorm (9/10)

Valgrind check (extra) for tvorm (10/10)

Valgrind check (extra) for tvorm -w2 (1/10)

Valgrind check (extra) for tvorm -w2 (2/10)

Valgrind check (extra) for tvorm -w2 (3/10)

Valgrind check (extra) for tvorm -w2 (4/10)

Valgrind check (extra) for tvorm -w2 (5/10)

Valgrind check (extra) for tvorm -w2 (6/10)

Valgrind check (extra) for tvorm -w2 (7/10)

Valgrind check (extra) for tvorm -w2 (8/10)

Valgrind check (extra) for tvorm -w2 (9/10)

Valgrind check (extra) for tvorm -w2 (10/10)

Code coverage (default) for vorm

Code coverage (default) for tvorm

Code coverage (default) for tvorm -w2

Code coverage (extra) for vorm

Code coverage (extra) for tvorm

Code coverage (extra) for tvorm -w2

Code coverage (default) for vorm (flint - no)

Code coverage (default) for tvorm (flint - no)

Code coverage (default) for tvorm -w2 (flint - no)

Code coverage (extra) for vorm (flint - no)

Code coverage (extra) for tvorm (flint - no)

Code coverage (extra) for tvorm -w2 (flint - no)

coverage-finish

Deploy on: pull_request 3

Build tarball distribution

Build form on ubuntu-24.04

Build tform on ubuntu-24.04

Build form on ubuntu-24.04-arm

Build tform on ubuntu-24.04-arm

Build form on macos-15-intel

Build tform on macos-15-intel

Build form on macos-14

Build tform on macos-14

Build form on windows-2022

Build tform on windows-2022

Build PDF document

Build HTML document

Publish binaries to GitHub Releases

32-bit container check for tform

succeeded Jun 17, 2026 in 1m 24s

Loading

Re-running jobs...