Skip to content
Juvix standard library CI

Add todo axiom #684

Sign in to view logs

Add todo axiom

Add todo axiom #684

Triggered via pull request January 14, 2025 09:35
@janmasrovirajanmasrovira
synchronize #158
add-TODO
Status Cancelled
Total duration 1m 53s
Artifacts –

ci.yml

on: pull_request
build
1m 43s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Canceling since a higher priority waiting request for 'Juvix standard library CI-add-TODO' exists