[Translation] Add field introduction to heap encoding axioms · TDacik/Astral@54594e6

Triggered via push March 3, 2025 16:43

TDacik

dev

Status Failure

Total duration 15m 33s

Artifacts 1

CI.yml

on: push

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
github-pages Expired	916 KB