Skip to content
Anneal Tests

[anneal] Minimize Aeneas imports #43

Sign in to view logs

[anneal] Minimize Aeneas imports

[anneal] Minimize Aeneas imports #43

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build Docker image
29s
Anneal Tests
11m 9s
Verify example (anatomy)
5m 57s
Verify example (const_generics)
5m 56s
Verify example (abs)
5m 55s
Verify example (ptr_concat)
6m 13s
Verify example (linked_list)
6m 0s
Verify example (checked_add)
5m 54s
Verify example (design_doc)
5m 56s
Verify example (never_type)
6m 17s
Verify example (swap)
5m 48s
Verify example (unchecked_get)
5m 47s
Verify example (namespaces)
6m 9s
Verify example (size_of_align_of)
5m 49s
Verify example (update_max)
6m 7s
All checks succeeded (anneal.yml)
1s
1h 29m 27s