viewing logs

veritas

time taken

128 seconds

started at

Sun Aug 10 08:59:21 2025

updated at

Sun Aug 10 09:01:29 2025

log uuid

e5c3be41-deac-45a6-ba3c-a48a3c438db7

(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
Already up to date.

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && git log --name-status HEAD^..HEAD
commit ebe83b92179f4269dd8a2693da201174c58be9fa
Author: Josep Bigorra <jjbigorra@gmail.com>
Date:   Sun Aug 10 08:59:29 2025 +0200

    ???? ci: Improvements for Woodpecker pipeline

M	.woodpecker/byggsteg.yaml

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

[INFO] 2025-08-10 09:01:20+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 introduction.scm numeric.scm more/lists.scm)


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


+----------------------------------------------+
[? suite] str
  [? test] String Operation Tests
    ? pass - expect: hello world, got: hello world
    ? pass - expect: #f, got: #f
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? suite] Basic Suite
  [? test] Check that function calls work
    ? pass - expect: 42, got: 42
+----------------------------------------------+
[? suite] Predicate Tests
  [? test] List Predicates
    [?? assert] Non-empty list should not be null
    ? pass - expect: #f, got: #f
    [?? assert] Empty list should not be a pair
    ? pass - expect: #f, got: #f
    [?? assert] Pair should be a pair
    ? pass - expect: #t, got: #t
    [?? assert] Empty list should be null
    ? pass - expect: #t, got: #t
+----------------------------------------------+
[? 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
  [? test] some test without suite
    ? pass - expect: 1, got: 1
+----------------------------------------------+
[? suite] Complex Data Structure Tests
  [? test] Association List Lookups
    [?? assert] Lookup 'name' in alist
    ? pass - expect: Alice, got: Alice
    [?? assert] Lookup 'age' in alist
    ? pass - expect: 30, got: 30
    [?? assert] Lookup non-existent key should be #f
    ? pass - expect: #f, got: #f
  [? test] Vector Operations
    [?? assert] Vector ref at index 1
    ? pass - expect: 2, got: 2
    [?? assert] Vector length
    ? pass - expect: 3, got: 3
    [?? assert] Vector ref at index 0
    ? pass - expect: 1, got: 1
?? info - ran 6 tasks in: 0 seconds, 10998 microseconds

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


+----------------------------------------------+
[? 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] 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 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
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.24      0.24  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    592.15      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.24      0.00  anon #x20f050c0
  0.00      0.24      0.00  %after-gc-thunk
  0.00      0.24      0.00  veritas/veritas.scm:217:93
---
Sample count: 12
Total time: 0.238040459 seconds (0.219401441 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
 91.67      0.27      0.27  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  8.33    887.89      0.02  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.29      0.00  veritas/veritas.scm:217:93
  0.00      0.27      0.00  anon #x20f050c0
  0.00      0.27      0.00  %after-gc-thunk
---
Sample count: 12
Total time: 0.293477468 seconds (0.290717495 seconds in GC)

+----------------------------------------------+
[? 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] 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] 10 should be greater than 5
    ? pass - expect: #t, got: #t
    [?? assert] Greeting should be personalized
    ? pass - expect: Hello, Veritas!, got: Hello, Veritas!
?? info - ran 5 tasks in: 0 seconds, 303135 microseconds
+----------------------------------------------+
[? suite] Testing Logic and List Operations
  [? test] Number Classification Logic
    [?? assert] -1 should be classified as negative
    ? pass - expect: negative, got: negative
    [?? assert] 99 should be classified as positive
    ? pass - expect: positive, got: positive
    [?? assert] 0 should be classified as zero
    ? pass - expect: zero, got: zero
  [? 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] 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] 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] 10 should be greater than 5
    ? pass - expect: #t, got: #t
    [?? 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] String comparison should be case-sensitive
    ? pass - expect: #f, got: #f
+----------------------------------------------+
[? benchmark]
Computation of the factorial of 10000


[? run #0]
%     cumulative   self             
time   seconds     seconds  procedure
 66.67      0.24      0.24  fibers/scheduler.scm:360:0:yield-current-task
 33.33      0.35      0.12  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00   1241.54      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.59      0.00  anon #x20f050c0
  0.00      0.35      0.00  %after-gc-thunk
  0.00      0.35      0.00  veritas/veritas.scm:217:93
---
Sample count: 15
Total time: 0.353814521 seconds (0.33298058 seconds in GC)

[? run #1]
%     cumulative   self             
time   seconds     seconds  procedure
 76.92      0.22      0.22  fibers/scheduler.scm:360:0:yield-current-task
 23.08      0.29      0.07  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    843.18      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.52      0.00  anon #x20f050c0
  0.00      0.29      0.00  %after-gc-thunk
  0.00      0.29      0.00  veritas/veritas.scm:217:93
---
Sample count: 13
Total time: 0.292495674 seconds (0.277769116 seconds in GC)

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

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


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

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] Get First Element
    [?? assert] First element of a symbol list
    ? pass - expect: a, got: a
    [?? 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
  [? test] List Concatenation
    [?? 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)
    [?? assert] Concatenate non-empty list with empty
    ? pass - expect: (x y), got: (x y)
?? info - ran 1 tasks in: 0 seconds, 12093 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
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'