Skip to content

Complete formalisation of Con(NF) #891

Complete formalisation of Con(NF)

Complete formalisation of Con(NF) #891

Triggered via push December 2, 2024 17:39
Status Cancelled
Total duration 10m 43s
Artifacts

push_main.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Build project
Canceling since a higher priority waiting request for '.github/workflows/push_main.yml-refs/heads/main' exists
Build project
The operation was canceled.