Build and check HTML

feat: partial_fixpoint (#253) #622

Sign in to view logs

Triggered via push February 3, 2025 12:02

david-christiansen

main

Status Success

Total duration 9m 14s

Artifacts 1

ci.yml

on: push

Build site and generate HTML

Artifacts

Produced during runtime

Name	Size
html Expired	17.2 MB