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

concatenate and split functions CI #667: Commit 0ebfd32 pushed by lecopivo
October 23, 2024 22:07 20m 2s master
master
October 23, 2024 22:07 20m 2s
more XLA functions CI #666: Commit b545980 pushed by lecopivo
October 23, 2024 15:51 20m 10s master
master
October 23, 2024 15:51 20m 10s
fix comment CI #665: Commit 66ee02b pushed by lecopivo
October 18, 2024 12:04 19m 54s master
master
October 18, 2024 12:04 19m 54s
fix test CI #664: Commit e7bcdb0 pushed by lecopivo
October 18, 2024 12:04 28s master
master
October 18, 2024 12:04 28s
spec for convolution with stride and padding CI #663: Commit 796104c pushed by lecopivo
October 18, 2024 10:27 6m 31s master
master
October 18, 2024 10:27 6m 31s
fix ordering of used theorem in fun_trans CI #662: Commit 145ab7f pushed by lecopivo
October 3, 2024 13:48 29m 17s master
master
October 3, 2024 13:48 29m 17s
issue #43 CI #661: Commit 1de7254 pushed by lecopivo
October 3, 2024 09:38 7m 24s master
master
October 3, 2024 09:38 7m 24s
def_fun_prop and def_fun_trans tests and clean up CI #660: Commit 4283759 pushed by lecopivo
October 3, 2024 09:38 19s master
master
October 3, 2024 09:38 19s
generate theorems for dense layer CI #659: Commit f662495 pushed by lecopivo
October 2, 2024 15:38 7m 8s master
master
October 2, 2024 15:38 7m 8s
fix universes in DataArray CI #658: Commit a88a36c pushed by lecopivo
October 2, 2024 09:50 1m 44s master
master
October 2, 2024 09:50 1m 44s
fix IndexType.reduce and revDerivProj rule for IndexType.foldl CI #657: Commit 43b2d1a pushed by lecopivo
October 1, 2024 13:59 10m 35s master
master
October 1, 2024 13:59 10m 35s
update readme CI #656: Commit 6832c3c pushed by lecopivo
September 20, 2024 12:26 1m 32s master
master
September 20, 2024 12:26 1m 32s
update readme CI #655: Commit fdb759f pushed by lecopivo
September 20, 2024 12:24 1m 40s master
master
September 20, 2024 12:24 1m 40s
update readme CI #654: Commit 646faf5 pushed by lecopivo
September 20, 2024 12:23 1m 13s master
master
September 20, 2024 12:23 1m 13s
update readme CI #653: Commit 2104365 pushed by lecopivo
September 20, 2024 12:22 35s master
master
September 20, 2024 12:22 35s
update readme CI #652: Commit f63e496 pushed by lecopivo
September 18, 2024 07:40 10m 2s master
master
September 18, 2024 07:40 10m 2s
revFDeriv for IndexType foldl CI #651: Commit 7ccb2cd pushed by lecopivo
September 9, 2024 21:06 1m 25s master
master
September 9, 2024 21:06 1m 25s
clean up IndexType.lean CI #650: Commit 89d0f6b pushed by lecopivo
September 9, 2024 14:46 2m 42s master
master
September 9, 2024 14:46 2m 42s
reverse derivative of foldl over IndexType CI #649: Commit 4032907 pushed by lecopivo
September 9, 2024 14:37 7m 30s master
master
September 9, 2024 14:37 7m 30s
refactor of IndexType CI #648: Commit 790248d pushed by lecopivo
September 8, 2024 17:58 7m 23s master
master
September 8, 2024 17:58 7m 23s
update SciLean.lean CI #647: Commit 0f5b0f1 pushed by lecopivo
September 6, 2024 16:46 1m 58s master
master
September 6, 2024 16:46 1m 58s
Merge remote-tracking branch 'origin/master' CI #646: Commit 0ec0a35 pushed by lecopivo
September 6, 2024 03:19 7m 8s master
master
September 6, 2024 03:19 7m 8s
Merge branch 'master' of github.com:lecopivo/SciLean CI #645: Commit cdc4100 pushed by lecopivo
September 4, 2024 14:48 5m 36s master
master
September 4, 2024 14:48 5m 36s
Merge pull request #40 from pitmonticone/fix-typos CI #644: Commit 030c9ae pushed by lecopivo
September 2, 2024 14:56 10m 31s master
master
September 2, 2024 14:56 10m 31s
Merge pull request #44 from Seasawher/devcontainer CI #643: Commit 9f3a195 pushed by lecopivo
September 2, 2024 14:56 45s master
master
September 2, 2024 14:56 45s