Skip to content

Actions: alreadydone/mathlib

Actions

linter self test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint_self_test.yml
2 workflow runs
2 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

minor linter self test #58: Commit 1afedcd pushed by alreadydone
June 28, 2024 02:18 58s class_group_without_fractional
class_group_without_fractional
June 28, 2024 02:18 58s
WIP linter self test #57: Commit 2bbad5e pushed by alreadydone
June 28, 2024 00:05 57s class_group_without_fractional
class_group_without_fractional
June 28, 2024 00:05 57s