Byggsteg

viewing logs

job succeeded

veritas

time taken: 17 seconds
started at: Sun Aug 17 21:24:46 2025
updated at: Sun Aug 17 21:25:03 2025
log uuid: 11131fbe-f79e-4a61-9031-c5190b8ddae0

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 857a5f0..504510c
Fast-forward
 src/veritas/assert.scm | 64 ++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 64 insertions(+)

-> running command: cd /etc/byggsteg/job-clone/veritas/trunk && git log --name-status HEAD^..HEAD
commit 504510c57baa6b3a3291cef7c3f30a9d553c30f0
Author: Josep Bigorra <jjbigorra@gmail.com>
Date:   Sun Aug 17 21:24:38 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 21:24:48+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 simple.scm introduction.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] [1m4 should be even[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [[1m?? assert[0m] [1m7 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] [1m1 should not be even[0m
    [0;32m? pass - expect: #f, got: #f[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: 0, got: 0[0m
    [0;32m? pass - expect: 1, got: 1[0m
    [0;32m? pass - expect: 1, got: 1[0m
[1m?? info - ran 2 tasks in: 0 seconds, 5478 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 an empty list should be #f[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [[1m?? assert[0m] [1mFirst element of a number list[0m
    [0;32m? pass - expect: 1, got: 1[0m
  [[1m? test[0m] [1mList Concatenation[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 empty list with non-empty[0m
    [0;32m? pass - expect: (a b), got: (a b)[0m
    [[1m?? assert[0m] [1mConcatenate two empty lists[0m
    [0;32m? pass - expect: (), got: ()[0m
    [[1m?? assert[0m] [1mConcatenate non-empty list with empty[0m
    [0;32m? pass - expect: (x y), got: (x y)[0m
  [[1m? test[0m] [1mList Length[0m
    [[1m?? assert[0m] [1mLength of list with one element[0m
    [0;32m? pass - expect: 1, got: 1[0m
    [[1m?? assert[0m] [1mLength of list with 3 elements[0m
    [0;32m? pass - expect: 3, got: 3[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, 14265 microseconds[0m

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


+----------------------------------------------+
[[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] [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?? assert[0m] [1mEmpty list should be null[0m
    [0;32m? pass - expect: #t, got: #t[0m
  [[1m? test[0m] [1msome test without suite[0m
    [0;32m? pass - expect: 1, got: 1[0m
+----------------------------------------------+
[[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? 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] [1mstr[0m
  [[1m? test[0m] [1mString Operation Tests[0m
    [0;32m? pass - expect: #t, got: #t[0m
    [0;32m? pass - expect: #f, got: #f[0m
    [0;32m? pass - expect: hello world, got: hello world[0m
+----------------------------------------------+
[[1m? suite[0m] [1mComplex Data Structure Tests[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 'name' in alist[0m
    [0;32m? pass - expect: Alice, got: Alice[0m
    [[1m?? assert[0m] [1mLookup non-existent key should be #f[0m
    [0;32m? pass - expect: #f, got: #f[0m
  [[1m? test[0m] [1mVector Operations[0m
    [[1m?? assert[0m] [1mVector ref at index 0[0m
    [0;32m? pass - expect: 1, got: 1[0m
    [[1m?? assert[0m] [1mVector ref at index 1[0m
    [0;32m? pass - expect: 2, got: 2[0m
    [[1m?? assert[0m] [1mVector length[0m
    [0;32m? pass - expect: 3, got: 3[0m
[1m?? info - ran 6 tasks in: 0 seconds, 8086 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] [1m99 should be classified as positive[0m
    [0;32m? pass - expect: positive, got: positive[0m
    [[1m?? assert[0m] [1m-1 should be classified as negative[0m
    [0;32m? pass - expect: negative, got: negative[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 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
 84.62      0.30      0.30  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 15.38   1010.93      0.06  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.36      0.00  veritas/veritas.scm:216:93
  0.00      0.30      0.00  anon #x26b900c0
  0.00      0.30      0.00  %after-gc-thunk
---
Sample count: 13
Total time: 0.359802401 seconds (0.341063433 seconds in GC)

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

+----------------------------------------------+
[[1m? suite[0m] [1mGetting Started with Assertions[0m
  [[1m? test[0m] [1mBasic String and Predicate Tests[0m
    [[1m?? assert[0m] [1m10 should be greater than 5[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] [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? 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?? info - ran 5 tasks in: 0 seconds, 395807 microseconds[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? 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] [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?? assert[0m] [1mGreeting should be personalized[0m
    [0;32m? pass - expect: Hello, Veritas!, got: Hello, Veritas![0m
    [[1m?? assert[0m] [1mString comparison should be case-sensitive[0m
    [0;32m? pass - expect: #f, got: #f[0m
+----------------------------------------------+
[[1m? suite[0m] [1mTesting Logic and List Operations[0m
  [[1m? test[0m] [1mNumber Classification Logic[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?? assert[0m] [1m99 should be classified as positive[0m
    [0;32m? pass - expect: positive, got: positive[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? benchmark[0m]
[1mComputation of the factorial of 10000

[0m
[? [1mrun #0[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 53.33      0.33      0.18  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 46.67      0.15      0.15  fibers/scheduler.scm:360:0:yield-current-task
  0.00   1183.14      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.49      0.00  anon #x26b900c0
  0.00      0.33      0.00  veritas/veritas.scm:216:93
  0.00      0.33      0.00  %after-gc-thunk
---
Sample count: 15
Total time: 0.33113968 seconds (0.320205923 seconds in GC)

[? [1mrun #1[0m]
No samples recorded.
%     cumulative   self             
time   seconds     seconds  procedure
 66.67      0.04      0.04  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 33.33      0.02      0.02  fibers/scheduler.scm:360:0:yield-current-task
  0.00    397.35      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.06      0.00  veritas/veritas.scm:216:93
  0.00      0.06      0.00  anon #x26b900c0
  0.00      0.04      0.00  %after-gc-thunk
---
Sample count: 3
Total time: 0.060371877 seconds (0.042965861 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 64.29      0.19      0.19  fibers/scheduler.scm:360:0:yield-current-task
 35.71      0.28      0.11  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    946.18      0.00  veritas/unit/introduction.scm:146:0:factorial
  0.00      0.48      0.00  anon #x26b900c0
  0.00      0.30      0.00  veritas/veritas.scm:216:93
  0.00      0.28      0.00  %after-gc-thunk
---
Sample count: 14
Total time: 0.302537125 seconds (0.230623447 seconds in GC)

[1m?? info - ran 5 tasks in: 1 seconds, -667693 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