viewing logs

job succeeded

veritas

time taken
24 seconds
started at
Fri Aug 15 12:00:18 2025
updated at
Fri Aug 15 12:00:42 2025
log uuid
b984d229-51a5-4d66-8c8b-59b2467b9450
inspect the job's lambda expression
(lambda()
  `((task . ("make-test" "pull-and-deploy"))
    (project . "veritas")
    (branch-name . "trunk")
    (clone-url . "https://codeberg.org/jjba23/veritas.git")))

starting new job...

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && uname -a
Linux wolk-jjba 6.15.9-gnu #1 SMP PREEMPT_DYNAMIC 1 x86_64 GNU/Linux

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && git pull
Updating 319235e..857a5f0
Fast-forward
 Makefile   | 10 +++++-----
 README.org |  8 ++++----
 2 files changed, 9 insertions(+), 9 deletions(-)

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && git log --name-status HEAD^..HEAD
commit 857a5f03ef9918f1a3a7d2a88c6502019fc4ec59
Author: Josep Bigorra <jjbigorra@gmail.com>
Date:   Fri Aug 15 11:53:31 2025 +0200

    ??????? docs: Improved

M	README.org

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && make test
make[1]: Entering directory '/etc/byggsteg/job-clone/veritas/trunk'

[INFO] 2025-08-15 12:00:28+02:00 - formatting all Scheme files
find . -maxdepth 8 -name "*.scm" -type f -exec guix style -f {} \;
VERITAS_REPORTER="emoji-reporter" \
VERITAS_RUN_BENCHMARKS=true \
VERITAS_TEST_TYPE=unit \
	guix shell -m manifest.scm -- \
	guile --fresh-auto-compile -L ./src \
	-L ./test \
	-c '((@ (veritas runner) run-tests))'

scanning directories for unit tests...
scanning present working directory for unit tests...

found unit tests: (simple.scm numeric.scm introduction.scm more/lists.scm)


running unit tests from file: simple.scm, entrypoint: spec


+----------------------------------------------+
[? suite] Error Handling Tests
  [? test] Division by Zero Error
    [?? assert] Should signal error on division by zero
    ? pass - success catching error: misc-error: (#f Division by zero () #f)
  [? test] No Error on Valid Division
    [?? assert] Should not signal error on valid division
    ? pass - success running without errors
    [?? assert] Valid division result
    ? pass - expect: 5, got: 5
+----------------------------------------------+
[? suite] Predicate Tests
  [? test] List Predicates
    [?? assert] Empty list should be null
    ? pass - expect: #t, got: #t
    [?? assert] Pair should be a pair
    ? pass - expect: #t, got: #t
    [?? assert] Empty list should not be a pair
    ? pass - expect: #f, got: #f
    [?? assert] Non-empty list should not be null
    ? pass - expect: #f, got: #f
+----------------------------------------------+
[? suite] Basic Suite
  [? test] Check that function calls work
    ? pass - expect: 42, got: 42
  [? test] some test without suite
    ? pass - expect: 1, got: 1
+----------------------------------------------+
[? suite] Complex Data Structure Tests
  [? test] Association List Lookups
    [?? assert] Lookup non-existent key should be #f
    ? pass - expect: #f, got: #f
    [?? assert] Lookup 'age' in alist
    ? pass - expect: 30, got: 30
    [?? assert] Lookup 'name' in alist
    ? pass - expect: Alice, got: Alice
  [? test] Vector Operations
    [?? assert] Vector ref at index 1
    ? pass - expect: 2, got: 2
    [?? assert] Vector ref at index 0
    ? pass - expect: 1, got: 1
    [?? assert] Vector length
    ? pass - expect: 3, got: 3
+----------------------------------------------+
[? suite] str
  [? test] String Operation Tests
    ? pass - expect: #t, got: #t
    ? pass - expect: #f, got: #f
    ? pass - expect: hello world, got: hello world
?? info - ran 6 tasks in: 1 seconds, -984715 microseconds

running unit tests from file: numeric.scm, entrypoint: spec


+----------------------------------------------+
[? suite] Basic Suite
  [? test] Basic Numeric Tests
    ? pass - expect: 1, got: 1
    [?? assert] checks if addition works
    ? pass - expect: 4, got: 4
    ? pass - expect: 1, got: 1
    ? pass - expect: 0, got: 0
+----------------------------------------------+
[? suite] Predicate Tests
  [? test] Even Number Checks
    [?? assert] 1 should not be even
    ? pass - expect: #f, got: #f
    [?? assert] 0 should be even
    ? pass - expect: #t, got: #t
    [?? assert] 7 should not be even
    ? pass - expect: #f, got: #f
    [?? assert] 4 should be even
    ? pass - expect: #t, got: #t
?? info - ran 2 tasks in: 0 seconds, 11514 microseconds
? debug - assertion-results: (#t #t #t #t #t #t #t #t)

running unit tests from file: introduction.scm, entrypoint: spec


+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.36      0.36  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    868.08      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.36      0.00  veritas/veritas.scm:216:93
  0.00      0.36      0.00  %after-gc-thunk
  0.00      0.36      0.00  anon #x178890c0
---
Sample count: 12
Total time: 0.360425095 seconds (0.33721154 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.31      0.31  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    946.33      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.31      0.00  veritas/veritas.scm:216:93
  0.00      0.31      0.00  %after-gc-thunk
  0.00      0.31      0.00  anon #x178890c0
---
Sample count: 12
Total time: 0.314291435 seconds (0.296036795 seconds in GC)

+----------------------------------------------+
[? suite] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
    [?? assert] 10 should be greater than 5
    ? pass - expect: #t, got: #t
    [?? assert] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
+----------------------------------------------+
[? suite] Advanced Veritas Features
?? info - TRANSIRE RUBICONEM
?? info - ALEA IACTA EST
  [? test] A test with a complex computation block
?? info - before test runs
?? info - after test runs
    [?? assert] Complex computation inside an assertion
    ? pass - expect: 144, got: 144
+----------------------------------------------+
[? suite] Error and Exception Handling
  [? test] Summing a list with non-numeric elements
    [?? assert] Should fail when list contains non-numbers
    ? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))
  [? test] Valid summation should not throw an error
    [?? assert] Should not fail with a valid list of numbers
    ? pass - success running without errors
+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] Number Classification Logic
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
  [? test] List Summation
    [?? assert] Sum of an empty list should be 0
    ? pass - expect: 0, got: 0
    [?? assert] Sum of elements 1 through 5 should be 15
    ? pass - expect: 15, got: 15
?? info - ran 5 tasks in: 0 seconds, 345255 microseconds
+----------------------------------------------+
[? suite] Advanced Veritas Features
?? info - TRANSIRE RUBICONEM
?? info - ALEA IACTA EST
  [? test] A test with a complex computation block
?? info - before test runs
?? info - after test runs
    [?? assert] Complex computation inside an assertion
    ? pass - expect: 144, got: 144
+----------------------------------------------+
[? suite] Error and Exception Handling
  [? test] Valid summation should not throw an error
    [?? assert] Should not fail with a valid list of numbers
    ? pass - success running without errors
  [? test] Summing a list with non-numeric elements
    [?? assert] Should fail when list contains non-numbers
    ? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))
+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] List Summation
    [?? assert] Sum of elements 1 through 5 should be 15
    ? pass - expect: 15, got: 15
    [?? assert] Sum of an empty list should be 0
    ? pass - expect: 0, got: 0
  [? test] Number Classification Logic
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
+----------------------------------------------+
[? suite] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] 10 should be greater than 5
    ? pass - expect: #t, got: #t
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? assert] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.37      0.19  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 50.00      0.19      0.19  fibers/scheduler.scm:360:0:yield-current-task
  0.00   1266.90      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.56      0.00  anon #x178890c0
  0.00      0.37      0.00  veritas/veritas.scm:216:93
  0.00      0.37      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.374624406 seconds (0.358556477 seconds in GC)

[? run #1]
No samples recorded.
%     cumulative   self             
time   seconds     seconds  procedure
 71.43      0.27      0.27  fibers/scheduler.scm:360:0:yield-current-task
 28.57      0.37      0.11  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00   1369.25      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.64      0.00  anon #x178890c0
  0.00      0.37      0.00  veritas/veritas.scm:216:93
  0.00      0.37      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.373273929 seconds (0.356119015 seconds in GC)

?? info - ran 5 tasks in: 0 seconds, 380658 microseconds

running unit tests from file: more/lists.scm, entrypoint: spec


+----------------------------------------------+
[? suite] List Manipulation Tests
  [? test] List Length
    [?? assert] Length of list with one element
    ? pass - expect: 1, got: 1
    [?? assert] Length of list with 3 elements
    ? pass - expect: 3, got: 3
    [?? assert] Length of empty list
    ? pass - expect: 0, got: 0
  [? test] List Concatenation
    [?? assert] Concatenate non-empty list with empty
    ? pass - expect: (x y), got: (x y)
    [?? assert] Concatenate two empty lists
    ? pass - expect: (), got: ()
    [?? assert] Concatenate two non-empty lists
    ? pass - expect: (1 2 3 4 5), got: (1 2 3 4 5)
    [?? assert] Concatenate empty list with non-empty
    ? pass - expect: (a b), got: (a b)
  [? test] Get First Element
    [?? assert] First element of an empty list should be #f
    ? pass - expect: #f, got: #f
    [?? assert] First element of a number list
    ? pass - expect: 1, got: 1
    [?? assert] First element of a symbol list
    ? pass - expect: a, got: a
?? info - ran 1 tasks in: 0 seconds, 3404 microseconds

finished running tests
make[1]: Leaving directory '/etc/byggsteg/job-clone/veritas/trunk'

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && sudo make deploy
rm -rfv doc
guix shell -m manifest.scm -- documenta api ./src/veritas
API documentation saved to doc/api
guix shell -m manifest.scm -- texi2any -v --html \
	--css-ref="https://jointhefreeworld.org/static-assets/api-docs/css/style.css" ./doc/api/index.texi
mv ./index ./doc/api-dist
guix shell -m manifest.scm -- emacs -Q --batch \
	--eval '(progn (find-file "/etc/byggsteg/job-clone/veritas/trunk/docs/api-documentation.org")(org-html-export-to-html)(message "finished publishing Veritas API documentation"))'
mkdir -pv "/srv/http/jointhefreeworld.org"/manuals/veritas-api-documentation
rm -rfv "/srv/http/jointhefreeworld.org"/manuals/veritas-api-documentation/index.html
'/srv/http/jointhefreeworld.org/manuals/veritas-api-documentation/index.html' is verwijderd
mv -v docs/api-documentation.html "/srv/http/jointhefreeworld.org"/manuals/veritas-api-documentation/index.html
hernoemd 'docs/api-documentation.html' -> '/srv/http/jointhefreeworld.org/manuals/veritas-api-documentation/index.html'
rm -rfv "/srv/http/jointhefreeworld.org"/api-docs/veritas
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005fprelude.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005freporter.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005fshuffle.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005fassert.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005fmodel.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005fveritas.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/veritas_005frunner.html' is verwijderd
'/srv/http/jointhefreeworld.org/api-docs/veritas/API.html' is verwijderd
map '/srv/http/jointhefreeworld.org/api-docs/veritas' is verwijderd
mkdir -p "/srv/http/jointhefreeworld.org"/api-docs/veritas
mv doc/api-dist/* "/srv/http/jointhefreeworld.org"/api-docs/veritas/
rm -rfv doc
map 'doc/api-dist' is verwijderd
'doc/api/index.texi' is verwijderd
map 'doc/api' is verwijderd
map 'doc' is verwijderd