Skip to content
Build and test EverParse based on a FStar image

CI: make package no longer needed #472

Sign in to view logs

CI: make package no longer needed

CI: make package no longer needed #472

Triggered via push September 30, 2023 04:19
@tahina-protahina-pro
pushed 53fabeb
taramana_ci
Status Cancelled
Total duration 16m 15s
Artifacts –

linux-x64.yaml

on: push
build
0s
build
produce-binary
0s
produce-binary
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
The run was canceled by @tahina-pro.
produce-binary
The run was canceled by @tahina-pro.