Skip to content
Workflow Security Linter

fix(ci): make the Coq gate actually run in the pinned container #509

Sign in to view logs

fix(ci): make the Coq gate actually run in the pinned container

fix(ci): make the Coq gate actually run in the pinned container #509

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint-workflows
5s
5s