Skip to content

add command line parameter to only type-check input program #194

add command line parameter to only type-check input program

add command line parameter to only type-check input program #194

Triggered via push November 17, 2024 21:02
Status Failure
Total duration 7s
Artifacts

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build (macos-latest, 5.1)
The job was not started because recent account payments have failed or your spending limit needs to be increased. Please check the 'Billing & plans' section in your settings.
build (ubuntu-latest, 5.1)
The job was not started because recent account payments have failed or your spending limit needs to be increased. Please check the 'Billing & plans' section in your settings.