Skip to content

Actions: lecopivo/SciLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
480 workflow runs
480 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work on verified AD CI #183: Commit 036691f pushed by lecopivo
July 19, 2023 21:44 55m 49s master
master
July 19, 2023 21:44 55m 49s
work on mathlib based differentiation CI #182: Commit 204893d pushed by lecopivo
July 17, 2023 21:13 16m 25s master
master
July 17, 2023 21:13 16m 25s
custom selection of candidate simp rules in ftrans CI #181: Commit c6180f1 pushed by lecopivo
July 14, 2023 21:19 23m 56s master
master
July 14, 2023 21:19 23m 56s
use differentiable tactic when differentiating CI #180: Commit 4d226de pushed by lecopivo
July 13, 2023 20:33 19m 9s master
master
July 13, 2023 20:33 19m 9s
tactics to prove ContinuousLinearMap and Differentiable CI #179: Commit db890d1 pushed by lecopivo
July 13, 2023 20:20 14m 17s master
master
July 13, 2023 20:20 14m 17s
ProTip! You can narrow down the results and go further in time using created:<2023-07-13 or the other filters available.