Skip to content

Add dummy theorems to spec_syntax.rs #88

Add dummy theorems to spec_syntax.rs

Add dummy theorems to spec_syntax.rs #88

Triggered via pull request April 22, 2026 08:23
Status Success
Total duration 50m 40s
Artifacts

anneal-release.yml

on: pull_request
Create Release for Artifacts
0s
Create Release for Artifacts
Check if version was updated
29s
Check if version was updated
Release new Anneal versions
0s
Release new Anneal versions
Release to crates.io and GitHub
0s
Release to crates.io and GitHub
Matrix: publish-artifacts
Finalize Release
Finalize Release
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Publish Artifacts (macos-aarch64)
zstd 1.5.7_1 is already installed and up-to-date. To reinstall 1.5.7_1, run: brew reinstall zstd
Publish Artifacts (macos-x86_64)
zstd 1.5.7_1 is already installed and up-to-date. To reinstall 1.5.7_1, run: brew reinstall zstd