Skip to content
CI

Merge remote-tracking branch 'upstream/main' into leibnizRe #45

Sign in to view logs

Merge remote-tracking branch 'upstream/main' into leibnizRe

Merge remote-tracking branch 'upstream/main' into leibnizRe #45

Triggered via push October 22, 2025 16:06
@kondylidoukondylidou
pushed 885b2b0
leibnizRe
Status Success
Total duration 36m 47s
Artifacts 1

ci.yml

on: push
Set up release pages
3s
Set up release pages
Matrix: builds
Clean up artifacts from latest
Clean up artifacts from latest
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
documentation
4.83 MB
sha256:d088ce224e8a7b20a3de4c56cd66dad727e5e68eb18acdf7a12352b463ea77a6