Merge pull request #160 · webis-de/lightning-ir@6a41a4a

Triggered via push February 26, 2026 16:41

main

Status Success

Total duration 2m 57s

Artifacts 1

builddocs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.59 MB	`sha256:9fd8ddbe8f5e8a2dd21196cb50cb144f311d79a9f97a0342fc7246313ff511b1`