Skip to content
Build and check HTML

feat: partial_fixpoint #548

Sign in to view logs

feat: partial_fixpoint

feat: partial_fixpoint #548

Re-run triggered January 22, 2025 13:53
@nomeatanomeata
#253
nomeata:joachim/partial-fixpoint
Status Failure
Total duration 34s
Artifacts –

ci.yml

on: pull_request
Build site and generate HTML
22s
Build site and generate HTML
Deploy release
0s
Deploy release
Check prose
0s
Check prose
Check links
0s
Check links
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build site and generate HTML
Process completed with exit code 1.
Build site and generate HTML
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636