New libraries. Fixing If-Then-Else. Updating download scripts. · bern-lang/Bern@12c7c98

Triggered via push February 23, 2026 19:04

mirvoxtm

main

Status Success

Total duration 22s

Artifacts 1

static.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	291 KB	`sha256:c179e8c0d1a4a469ea6d797dc59439d61588c336b26277b091b55681d732f250`