Skip to content
Agda

fix+feat: paper.adoc conflict resolution + related-work [EXPAND] cleared + Track C land #520

Sign in to view logs

fix+feat: paper.adoc conflict resolution + related-work [EXPAND] cleared + Track C land

fix+feat: paper.adoc conflict resolution + related-work [EXPAND] cleared + Track C land #520

Run time

Learn about OS pricing on GitHub Actions
Job Run time
cold-check
11m 35s
check
6s
11m 41s