Lint and Type Check - Open PR

ci: 🎡 new Workflow for lint and type-check on PRs #10

Sign in to view logs

This workflow is awaiting approval from a maintainer in #388

Triggered via pull request October 23, 2024 16:34

IdrisGit

synchronize #388

IdrisGit:264-add-lint-type-check-on-new-pr

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #388

open-pr.yml

on: pull_request