Skip to content

Actions: allofphysicsgraph/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
151 workflow runs
151 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: add decidable instances for comparison operation of time offset… Nix CI #1: Commit ed309dc pushed by bhpayne
January 10, 2025 10:12 49m 35s master
master
January 10, 2025 10:12 49m 35s