Merge pull request #486 from rvermeulen/rvermeulen/fp-fn-issue-#8 #3160

Triggered via push November 15, 2024 11:12

main

Status Success

Total duration 25s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

generate-html-docs.yml

on: push

Produced during runtime

Name	Size	Digest
coding-standards-docs-cc7df812b472b89c6b06a2e8fd532d22374d4341 Expired	41.2 KB	`sha256:bd0b3036f75cf25f7afba55893322790fef26812286da9d5364f8bc53ecbd8c5`