Lint

Added new Kleros entries up to 3 Feb 2025 #248

Sign in to view logs

This workflow is awaiting approval from a maintainer in #89

Triggered via pull request February 3, 2025 12:35

gmkung

opened #89

gmkung:main

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #89

lint.yml

on: pull_request