Skip to content

Actions: allofphysicsgraph/lean4

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
1 workflow run
1 workflow run

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