Byggsteg

viewing logs

job succeeded

veritas

time taken: 356 seconds
started at: Sun Aug 17 22:18:58 2025
updated at: Sun Aug 17 22:24:54 2025
log uuid: 712f9389-e095-4fe6-8ffa-0babcc9a3f65

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 cd4595b..205f81f

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && git log --name-status HEAD^..HEAD
commit cd4595b1e49296841b5035a63f6f8c635479537b
Author: Josep Bigorra <jjbigorra@gmail.com>
Date:   Sun Aug 17 21:39:43 2025 +0200

    ???? docs: Improve technical documentation of assertions

M	src/veritas/assert.scm

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

[1m[INFO] 2025-08-17 22:24:38+02:00 - formatting all Scheme files[0m
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: (numeric.scm more/lists.scm introduction.scm simple.scm)


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


+----------------------------------------------+
[[1m? suite[0m] [1mPredicate Tests[0m
  [[1m? test[0m] [1mEven Number Checks[0m
    [[1m?? assert[0m] [1m7 should not be even[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1m1 should not be even[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1m0 should be even[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1m4 should be even[0m
    [0;32m? pass - expect: #t, got: #t[0m
+----------------------------------------------+
[[1m? suite[0m] [1mBasic Suite[0m
  [[1m? test[0m] [1mBasic Numeric Tests[0m
    [[1m?? assert[0m] [1mchecks if addition works[0m
    [0;32m? pass - expect: 4, got: 4[0m
    [0;32m? pass - expect: 1, got: 1[0m
    [0;32m? pass - expect: 0, got: 0[0m
    [0;32m? pass - expect: 1, got: 1[0m
[1m?? info - ran 2 tasks in: 0 seconds, 15674 microseconds[0m
[1m? debug -[0m assertion-results: (#t #t #t #t #t #t #t #t)

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


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

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


+----------------------------------------------+
[[1m? suite[0m] [1mTesting Logic and List Operations[0m
  [[1m? test[0m] [1mNumber Classification Logic[0m
    [[1m?? assert[0m] [1m-1 should be classified as negative[0m
    [0;32m? pass - expect: negative, got: negative[0m
    [[1m?? assert[0m] [1m99 should be classified as positive[0m
    [0;32m? pass - expect: positive, got: positive[0m
    [[1m?? assert[0m] [1m0 should be classified as zero[0m
    [0;32m? pass - expect: zero, got: zero[0m
  [[1m? test[0m] [1mList Summation[0m
    [[1m?? assert[0m] [1mSum of elements 1 through 5 should be 15[0m
    [0;32m? pass - expect: 15, got: 15[0m
    [[1m?? assert[0m] [1mSum of an empty list should be 0[0m
    [0;32m? pass - expect: 0, got: 0[0m
+----------------------------------------------+
[[1m? benchmark[0m]
[1mComputation of the factorial of 10000

[0m
[? [1mrun #0[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 91.67      0.29      0.29  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  8.33    771.80      0.03  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.31      0.00  veritas/veritas.scm:216:93
  0.00      0.29      0.00  anon #xe2020c0
  0.00      0.29      0.00  %after-gc-thunk
---
Sample count: 12
Total time: 0.313017393 seconds (0.287028114 seconds in GC)

[? [1mrun #1[0m]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.33      0.33  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00   1002.27      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.33      0.00  anon #xe2020c0
  0.00      0.33      0.00  veritas/veritas.scm:216:93
  0.00      0.33      0.00  %after-gc-thunk
---
Sample count: 13
Total time: 0.333841926 seconds (0.316919753 seconds in GC)

+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
[1m?? info - TRANSIRE RUBICONEM[0m
[1m?? info - ALEA IACTA EST[0m
  [[1m? test[0m] [1mA test with a complex computation block[0m
[1m?? info - before test runs[0m
[1m?? info - after test runs[0m
    [[1m?? assert[0m] [1mComplex computation inside an assertion[0m
    [0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[1m? suite[0m] [1mError and Exception Handling[0m
  [[1m? test[0m] [1mSumming a list with non-numeric elements[0m
    [[1m?? assert[0m] [1mShould fail when list contains non-numbers[0m
    [0;32m? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))[0m
  [[1m? test[0m] [1mValid summation should not throw an error[0m
    [[1m?? assert[0m] [1mShould not fail with a valid list of numbers[0m
    [0;32m? pass - success running without errors[0m
+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
  [[1m? test[0m] [1mBasic String and Predicate Tests[0m
    [[1m?? assert[0m] [1mString comparison should be case-sensitive[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1mGreeting should contain the provided name[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1mGreeting should be personalized[0m
    [0;32m? pass - expect: Hello, Veritas!, got: Hello, Veritas![0m
    [[1m?? assert[0m] [1m10 should be greater than 5[0m
    [0;32m? pass - expect: #t, got: #t[0m
[1m?? info - ran 5 tasks in: 0 seconds, 333413 microseconds[0m
+----------------------------------------------+
[[1m? suite[0m] [1mError and Exception Handling[0m
  [[1m? test[0m] [1mValid summation should not throw an error[0m
    [[1m?? assert[0m] [1mShould not fail with a valid list of numbers[0m
    [0;32m? pass - success running without errors[0m
  [[1m? test[0m] [1mSumming a list with non-numeric elements[0m
    [[1m?? assert[0m] [1mShould fail when list contains non-numbers[0m
    [0;32m? pass - success catching error: wrong-type-arg: (+ Wrong type argument in position ~A: ~S (2 a) (a))[0m
+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
  [[1m? test[0m] [1mBasic String and Predicate Tests[0m
    [[1m?? assert[0m] [1mString comparison should be case-sensitive[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1mGreeting should be personalized[0m
    [0;32m? pass - expect: Hello, Veritas!, got: Hello, Veritas![0m
    [[1m?? assert[0m] [1m10 should be greater than 5[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1mGreeting should contain the provided name[0m
    [0;32m? pass - expect: #t, got: #t[0m
+----------------------------------------------+
[[1m? suite[0m] [1mTesting Logic and List Operations[0m
  [[1m? test[0m] [1mNumber Classification Logic[0m
    [[1m?? assert[0m] [1m99 should be classified as positive[0m
    [0;32m? pass - expect: positive, got: positive[0m
    [[1m?? assert[0m] [1m0 should be classified as zero[0m
    [0;32m? pass - expect: zero, got: zero[0m
    [[1m?? assert[0m] [1m-1 should be classified as negative[0m
    [0;32m? pass - expect: negative, got: negative[0m
  [[1m? test[0m] [1mList Summation[0m
    [[1m?? assert[0m] [1mSum of an empty list should be 0[0m
    [0;32m? pass - expect: 0, got: 0[0m
    [[1m?? assert[0m] [1mSum of elements 1 through 5 should be 15[0m
    [0;32m? pass - expect: 15, got: 15[0m
+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
[1m?? info - TRANSIRE RUBICONEM[0m
[1m?? info - ALEA IACTA EST[0m
  [[1m? test[0m] [1mA test with a complex computation block[0m
[1m?? info - before test runs[0m
[1m?? info - after test runs[0m
    [[1m?? assert[0m] [1mComplex computation inside an assertion[0m
    [0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[1m? benchmark[0m]
[1mComputation of the factorial of 10000

[0m
[? [1mrun #0[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 71.43      0.24      0.24  fibers/scheduler.scm:360:0:yield-current-task
 21.43      0.31      0.07  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  7.14   1185.76      0.02  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.56      0.00  anon #xe2020c0
  0.00      0.34      0.00  veritas/veritas.scm:216:93
  0.00      0.31      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.338920528 seconds (0.323203303 seconds in GC)

[? [1mrun #1[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 66.67      0.06      0.06  fibers/scheduler.scm:360:0:yield-current-task
 33.33    593.96      0.03  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.12      0.00  anon #xe2020c0
  0.00      0.09      0.00  veritas/veritas.scm:216:93
  0.00      0.06      0.00  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00      0.06      0.00  %after-gc-thunk
---
Sample count: 3
Total time: 0.092728233 seconds (0.089202711 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.17      0.17  fibers/scheduler.scm:360:0:yield-current-task
 35.71      0.29      0.12  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 14.29   1023.17      0.05  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.46      0.00  anon #xe2020c0
  0.00      0.34      0.00  veritas/veritas.scm:216:93
  0.00      0.29      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.336410239 seconds (0.239924083 seconds in GC)

[1m?? info - ran 5 tasks in: 0 seconds, 330264 microseconds[0m

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


+----------------------------------------------+
[[1m? suite[0m] [1mError Handling Tests[0m
  [[1m? test[0m] [1mDivision by Zero Error[0m
    [[1m?? assert[0m] [1mShould signal error on division by zero[0m
    [0;32m? pass - success catching error: misc-error: (#f Division by zero () #f)[0m
  [[1m? test[0m] [1mNo Error on Valid Division[0m
    [[1m?? assert[0m] [1mValid division result[0m
    [0;32m? pass - expect: 5, got: 5[0m
    [[1m?? assert[0m] [1mShould not signal error on valid division[0m
    [0;32m? pass - success running without errors[0m
  [[1m? test[0m] [1msome test without suite[0m
    [0;32m? pass - expect: 1, got: 1[0m
+----------------------------------------------+
[[1m? suite[0m] [1mPredicate Tests[0m
  [[1m? test[0m] [1mList Predicates[0m
    [[1m?? assert[0m] [1mPair should be a pair[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1mEmpty list should be null[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1mNon-empty list should not be null[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1mEmpty list should not be a pair[0m
    [0;32m? pass - expect: #f, got: #f[0m
+----------------------------------------------+
[[1m? suite[0m] [1mstr[0m
  [[1m? test[0m] [1mString Operation Tests[0m
    [0;32m? pass - expect: hello world, got: hello world[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [0;32m? pass - expect: #t, got: #t[0m
+----------------------------------------------+
[[1m? suite[0m] [1mBasic Suite[0m
  [[1m? test[0m] [1mCheck that function calls work[0m
    [0;32m? pass - expect: 42, got: 42[0m
+----------------------------------------------+
[[1m? suite[0m] [1mComplex Data Structure Tests[0m
  [[1m? test[0m] [1mVector Operations[0m
    [[1m?? assert[0m] [1mVector ref at index 1[0m
    [0;32m? pass - expect: 2, got: 2[0m
    [[1m?? assert[0m] [1mVector ref at index 0[0m
    [0;32m? pass - expect: 1, got: 1[0m
    [[1m?? assert[0m] [1mVector length[0m
    [0;32m? pass - expect: 3, got: 3[0m
  [[1m? test[0m] [1mAssociation List Lookups[0m
    [[1m?? assert[0m] [1mLookup 'age' in alist[0m
    [0;32m? pass - expect: 30, got: 30[0m
    [[1m?? assert[0m] [1mLookup non-existent key should be #f[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1mLookup 'name' in alist[0m
    [0;32m? pass - expect: Alice, got: Alice[0m
[1m?? info - ran 6 tasks in: 0 seconds, 25587 microseconds[0m

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