viewing logs

job succeeded

veritas

time taken
14 seconds
started at
Fri Aug 15 11:39:35 2025
updated at
Fri Aug 15 11:39:49 2025
log uuid
685a385b-37a6-42bb-9d11-7b92fcf7935e
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 d090fd9..319235e
Fast-forward
 .gitignore              |  4 +++-
 Makefile                | 23 ++++++++++++++++++-----
 README.org              |  4 ++++
 manifest.scm            |  4 +++-
 src/veritas/veritas.scm |  2 +-
 5 files changed, 29 insertions(+), 8 deletions(-)

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

    ???? docs: Add API docs

M	.gitignore
M	Makefile
M	README.org
M	manifest.scm
M	src/veritas/veritas.scm

-> 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 11:39:36+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 more/lists.scm introduction.scm numeric.scm)


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


+----------------------------------------------+
[? 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] str
  [? test] String Operation Tests
    ? pass - expect: #t, got: #t
    ? pass - expect: #f, got: #f
    ? pass - expect: hello world, got: hello world
+----------------------------------------------+
[? suite] Predicate Tests
  [? test] List Predicates
    [?? assert] Non-empty list should not be null
    ? pass - expect: #f, got: #f
    [?? assert] Empty list should be null
    ? pass - expect: #t, got: #t
    [?? assert] Empty list should not be a pair
    ? pass - expect: #f, got: #f
    [?? assert] Pair should be a pair
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? suite] Complex Data Structure Tests
  [? test] Vector Operations
    [?? assert] Vector ref at index 0
    ? pass - expect: 1, got: 1
    [?? assert] Vector length
    ? pass - expect: 3, got: 3
    [?? assert] Vector ref at index 1
    ? pass - expect: 2, got: 2
  [? test] Association List Lookups
    [?? assert] Lookup non-existent key should be #f
    ? pass - expect: #f, got: #f
    [?? assert] Lookup 'name' in alist
    ? pass - expect: Alice, got: Alice
    [?? assert] Lookup 'age' in alist
    ? pass - expect: 30, got: 30
+----------------------------------------------+
[? suite] Error Handling Tests
  [? 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
  [? test] Division by Zero Error
    [?? assert] Should signal error on division by zero
    ? pass - success catching error: misc-error: (#f Division by zero () #f)
?? info - ran 6 tasks in: 0 seconds, 12379 microseconds

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


+----------------------------------------------+
[? suite] List Manipulation Tests
  [? test] List Concatenation
    [?? assert] Concatenate non-empty list with empty
    ? pass - expect: (x y), got: (x y)
    [?? assert] Concatenate empty list with non-empty
    ? pass - expect: (a b), got: (a b)
    [?? 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)
  [? test] Get First Element
    [?? assert] First element of a number list
    ? pass - expect: 1, got: 1
    [?? assert] First element of an empty list should be #f
    ? pass - expect: #f, got: #f
    [?? assert] First element of a symbol list
    ? pass - expect: a, got: a
  [? test] List Length
    [?? assert] Length of list with 3 elements
    ? pass - expect: 3, got: 3
    [?? assert] Length of list with one element
    ? pass - expect: 1, got: 1
    [?? assert] Length of empty list
    ? pass - expect: 0, got: 0
?? info - ran 1 tasks in: 0 seconds, 9928 microseconds

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


+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] Number Classification Logic
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
  [? 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
+----------------------------------------------+
[? 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] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? 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] 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
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.25      0.25  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    649.63      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.25      0.00  %after-gc-thunk
  0.00      0.25      0.00  anon #x1f2600c0
  0.00      0.25      0.00  veritas/veritas.scm:216:93
---
Sample count: 11
Total time: 0.25092729 seconds (0.231929077 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.30      0.30  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00   1032.96      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.30      0.00  %after-gc-thunk
  0.00      0.30      0.00  anon #x1f2600c0
  0.00      0.30      0.00  veritas/veritas.scm:216:93
---
Sample count: 13
Total time: 0.29642769 seconds (0.27838507 seconds in GC)

?? info - ran 5 tasks in: 0 seconds, 327592 microseconds
+----------------------------------------------+
[? suite] Getting Started with Assertions
  [? test] Basic String and Predicate Tests
    [?? assert] Greeting should contain the provided name
    ? pass - expect: #t, got: #t
    [?? assert] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
    [?? assert] 10 should be greater than 5
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? 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] 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] Testing Logic and List Operations
  [? 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
  [? 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
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
 66.67      0.05      0.05  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 33.33    487.25      0.03  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.08      0.00  veritas/veritas.scm:216:93
  0.00      0.05      0.00  %after-gc-thunk
  0.00      0.05      0.00  anon #x1f2600c0
---
Sample count: 3
Total time: 0.078348412 seconds (0.047930436 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.20      0.20  fibers/scheduler.scm:360:0:yield-current-task
 41.67      0.37      0.17  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  8.33   1192.77      0.03  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.57      0.00  anon #x1f2600c0
  0.00      0.40      0.00  veritas/veritas.scm:216:93
  0.00      0.37      0.00  %after-gc-thunk
---
Sample count: 12
Total time: 0.403953857 seconds (0.260916833 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.21      0.21  fibers/scheduler.scm:360:0:yield-current-task
 42.86      0.38      0.18  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  7.14   1316.11      0.03  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.59      0.00  anon #x1f2600c0
  0.00      0.41      0.00  veritas/veritas.scm:216:93
  0.00      0.38      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.410387385 seconds (0.382009715 seconds in GC)

?? info - ran 5 tasks in: 1 seconds, -554426 microseconds

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


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

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
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