d-flex flex-column width-full">

Added Largest Term to stats for On SortVerbose

b22c6bb

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

Deploy on: pull_request

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

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

Build tarball distribution

succeeded Jul 16, 2026 in 42s

Loading

Re-running jobs...