Byggsteg

viewing logs

job succeeded

veritas

time taken: 13 seconds
started at: Mon Jul 28 19:24:45 2025
updated at: Mon Jul 28 19:24:58 2025
log uuid: db4aabfe-5caa-41ac-93fc-3c9ced068644

inspect the job's lambda expression

(lambda()
  `((task . "make-test")
    (project . "veritas")
    (branch-name . "improve-examples")            
    (clone-url . "https://codeberg.org/jjba23/veritas.git")))


starting new job...

-> running command: cd /etc/byggsteg/job-clone/veritas/improve-examples && uname -a

-> running command: mkdir -p /etc/byggsteg/job-clone/veritas/improve-examples && git clone -b improve-examples https://codeberg.org/jjba23/veritas.git /etc/byggsteg/job-clone/veritas/improve-examples || true

-> running command: cd /etc/byggsteg/job-clone/veritas/improve-examples && git log --name-status HEAD^..HEAD
commit ba90ac44d9a4c04d4bc8542f55297ceef06fde64
Author: Josep Bigorra <jjbigorra@gmail.com>
Date:   Mon Jul 28 19:24:54 2025 +0200

    ???? ci: Trigger tests on pushing to PR

M	.woodpecker/byggsteg.yaml

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

[1m[INFO] 2025-07-28 19:24:48+02:00 - formatting all Scheme files[0m
find . -maxdepth 8 -name "*.scm" -type f -exec guix style -f {} \;
VERITAS_REPORTER="monotone-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: (more/lists.scm simple.scm introduction.scm numeric.scm)

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

#f
------------------------------------------
[suite] List Manipulation Tests
  [test] Get First Element
    [assert] First element of a symbol list
    [pass] expect: a, got: a
    [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
  [test] List Concatenation
    [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)
    [assert] Concatenate non-empty list with empty
    [pass] expect: (x y), got: (x y)
  [test] List Length
    [assert] Length of list with one element
    [pass] expect: 1, got: 1
    [assert] Length of empty list
    [pass] expect: 0, got: 0
    [assert] Length of list with 3 elements
    [pass] expect: 3, got: 3
[info] ran 1 tasks in: 0 seconds, 17320 microseconds
+----------------------------------------------+
running unit tests from file: simple.scm, entrypoint: spec

#f
  [test] some test without suite
    [pass] expect: 1, got: 1
------------------------------------------
[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] 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)
------------------------------------------
[suite] Complex Data Structure Tests
  [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
  [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
------------------------------------------
[suite] Basic Suite
  [test] Check that function calls work
    [pass] expect: 42, got: 42
------------------------------------------
[suite] str
  [test] String Operation Tests
    [pass] expect: hello world, got: hello world
    [pass] expect: #t, got: #t
    [pass] expect: #f, got: #f
[info] ran 6 tasks in: 0 seconds, 15812 microseconds
+----------------------------------------------+
running unit tests from file: introduction.scm, entrypoint: spec

((reporter-name . emoji-reporter) (log-pass . #<procedure 7f4fe8103d80 at veritas/reporter.scm:104:47 (msg)>) (log-fail . #<procedure 7f4fe8103d98 at veritas/reporter.scm:114:14 (msg)>) (log-debug . #<procedure 7f4fe8103db0 at veritas/reporter.scm:121:15 (msg)>) (log-info . #<procedure 7f4fe8103dc8 at veritas/reporter.scm:128:14 (msg)>) (log-error . #<procedure 7f4fe8103de0 at veritas/reporter.scm:135:15 (msg)>) (log-test . #<procedure 7f4fe8103df8 at veritas/reporter.scm:142:14 (msg)>) (log-benchmark . #<procedure 7f4fe8103e10 at veritas/reporter.scm:155:19 (msg)>) (log-suite . #<procedure 7f4fe8103e28 at veritas/reporter.scm:189:15 (msg)>) (log-assert . #<procedure 7f4fe8103e40 at veritas/reporter.scm:203:16 (msg)>))
+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
  [[1m? test[0m] [1mA test with a complex computation block[0m
    [[1m?? assert[0m] [1mComplex computation inside an assertion[0m
    [0;32m? pass - expect: 144, got: 144[0m
+----------------------------------------------+
[[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 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] [1mGetting Started with Assertions[0m
  [[1m? test[0m] [1mBasic String and Predicate Tests[0m
    [[1m?? assert[0m] [1mGreeting should contain the provided name[0m
    [0;32m? pass - expect: #t, got: #t[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? 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? benchmark[0m]
[1mComputation of the factorial of 10000

[0m
[? [1mrun #0[0m]
%     cumulative   self             
time   seconds     seconds  procedure
100.00      0.32      0.32  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00    774.57      0.00  veritas/unit/introduction.scm:114:0:factorial
  0.00      0.32      0.00  %after-gc-thunk
  0.00      0.32      0.00  anon #x6cfe0c0
  0.00      0.32      0.00  veritas/veritas.scm:173:93
---
Sample count: 13
Total time: 0.321284124 seconds (0.304557649 seconds in GC)

[? [1mrun #1[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 92.31      0.27      0.27  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  7.69    840.09      0.02  veritas/unit/introduction.scm:114:0:factorial
  0.00      0.30      0.00  veritas/veritas.scm:173:93
  0.00      0.27      0.00  %after-gc-thunk
  0.00      0.27      0.00  anon #x6cfe0c0
---
Sample count: 13
Total time: 0.295846881 seconds (0.293502637 seconds in GC)

[1m?? info - ran 5 tasks in: 0 seconds, 331515 microseconds[0m((reporter-name . emoji-reporter) (log-pass . #<procedure 7f4fe8103d80 at veritas/reporter.scm:104:47 (msg)>) (log-fail . #<procedure 7f4fe8103d98 at veritas/reporter.scm:114:14 (msg)>) (log-debug . #<procedure 7f4fe8103db0 at veritas/reporter.scm:121:15 (msg)>) (log-info . #<procedure 7f4fe8103dc8 at veritas/reporter.scm:128:14 (msg)>) (log-error . #<procedure 7f4fe8103de0 at veritas/reporter.scm:135:15 (msg)>) (log-test . #<procedure 7f4fe8103df8 at veritas/reporter.scm:142:14 (msg)>) (log-benchmark . #<procedure 7f4fe8103e10 at veritas/reporter.scm:155:19 (msg)>) (log-suite . #<procedure 7f4fe8103e28 at veritas/reporter.scm:189:15 (msg)>) (log-assert . #<procedure 7f4fe8103e40 at veritas/reporter.scm:203:16 (msg)>))
+----------------------------------------------+
[[1m? suite[0m] [1mAdvanced Veritas Features[0m
  [[1m? test[0m] [1mA test with a complex computation block[0m
    [[1m?? assert[0m] [1mComplex computation inside an assertion[0m
    [0;32m? pass - expect: 144, got: 144[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 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? 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? benchmark[0m]
[1mComputation of the factorial of 10000

[0m
[? [1mrun #0[0m]
%     cumulative   self             
time   seconds     seconds  procedure
 60.00      0.25      0.25  fibers/scheduler.scm:360:0:yield-current-task
 40.00      0.41      0.17  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  0.00   1538.76      0.00  veritas/unit/introduction.scm:114:0:factorial
  0.00      0.66      0.00  anon #x6cfe0c0
  0.00      0.41      0.00  %after-gc-thunk
  0.00      0.41      0.00  veritas/veritas.scm:173:93
---
Sample count: 15
Total time: 0.414945456 seconds (0.401397464 seconds in GC)

[? [1mrun #1[0m]
No samples recorded.
%     cumulative   self             
time   seconds     seconds  procedure
 50.00      0.10      0.05  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
 50.00      0.05      0.05  fibers/scheduler.scm:360:0:yield-current-task
  0.00    799.30      0.00  veritas/unit/introduction.scm:114:0:factorial
  0.00      0.16      0.00  anon #x6cfe0c0
  0.00      0.10      0.00  %after-gc-thunk
  0.00      0.10      0.00  veritas/veritas.scm:173:93
---
Sample count: 2
Total time: 0.103415567 seconds (0.095387104 seconds in GC)
%     cumulative   self             
time   seconds     seconds  procedure
 61.54      0.22      0.22  fibers/scheduler.scm:360:0:yield-current-task
 30.77      0.33      0.11  override/fibers/events-impl.scm:80:0:pump-epoll-guardian
  7.69   1122.79      0.03  veritas/unit/introduction.scm:114:0:factorial
  0.00      0.55      0.00  anon #x6cfe0c0
  0.00      0.36      0.00  veritas/veritas.scm:173:93
  0.00      0.33      0.00  %after-gc-thunk
---
Sample count: 13
Total time: 0.360678289 seconds (0.241122871 seconds in GC)

[1m?? info - ran 5 tasks in: 1 seconds, -629426 microseconds[0m
+----------------------------------------------+
running unit tests from file: numeric.scm, entrypoint: spec

#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
------------------------------------------
[suite] Predicate Tests
  [test] Even Number Checks
    [assert] 4 should be even
    [pass] expect: #t, got: #t
    [assert] 1 should not be even
    [pass] expect: #f, got: #f
    [assert] 7 should not be even
    [pass] expect: #f, got: #f
    [assert] 0 should be even
    [pass] expect: #t, got: #t
[info] ran 2 tasks in: 0 seconds, 3165 microseconds
[debug] assertion-results: (#t #t #t #t #t #t #t #t)make[1]: Leaving directory '/etc/byggsteg/job-clone/veritas/improve-examples'