Skip to content

Actions: Darylgolden/trig-egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove lean-egg as dependency Lean Action CI #8: Commit d454ae0 pushed by Darylgolden
1m 39s master
master
1m 39s
update which examples fail Lean Action CI #7: Commit 1b00419 pushed by Darylgolden
10m 55s master
master
10m 55s
add grind workbook Lean Action CI #6: Commit 7efd141 pushed by Darylgolden
15s master
master
15s
added more rules Lean Action CI #5: Commit 5d323b6 pushed by Darylgolden
8m 55s master
master
8m 55s
added calc block generated by calcify Lean Action CI #4: Commit bda863f pushed by Darylgolden
8m 52s master
master
8m 52s
initial test file Lean Action CI #3: Commit 8b88ab8 pushed by Darylgolden
9m 13s master
master
9m 13s
trigonometric tests Lean Action CI #2: Commit 38b63fb pushed by Darylgolden
11m 4s master
master
11m 4s
attempt to run Lean Action CI #1: Commit 46e4c25 pushed by Darylgolden
4m 33s master
master
4m 33s