Skip to content

Added SAW proof for top-level constant validation function. #169

Added SAW proof for top-level constant validation function.

Added SAW proof for top-level constant validation function. #169

Triggered via push April 8, 2024 12:57
Status Failure
Total duration 1d 5h 45m 57s
Artifacts

main.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

4 errors
nsym
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
coq
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
saw-aarch64
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.
saw-x86_64
This request was automatically failed because there were no enabled runners online to process the request for more than 1 days.