10000 Workflow runs · SolidiKeY/solidity-lean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: SolidiKeY/solidity-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

added citation file Lean Action CI #60: Commit c8c3275 pushed by guialvares
April 9, 2025 13:05 1m 12s master
master
April 9, 2025 13:05 1m 12s
renamed dev container Lean Action CI #59: Commit 5321986 pushed by guialvares
April 9, 2025 12:58 2m 18s master
master
April 9, 2025 12:58 2m 18s
removed presentation Lean Action CI #58: Commit bf53f68 pushed by guialvares
April 9, 2025 12:57 2m 22s master
master
April 9, 2025 12:57 2m 22s
removed unnecessary files Lean Action CI #57: Commit d7e1371 pushed by guialvares
April 9, 2025 12:55 2m 5s course
course
April 9, 2025 12:55 2m 5s
removed unnecessary files Lean Action CI #56: Commit d7e1371 pushed by guialvares
March 18, 2025 15:25 1m 54s master
master
March 18, 2025 15:25 1m 54s
fixed presentation day Lean Action CI #55: Commit ec5f39f pushed by guialvares
March 18, 2025 10:42 1m 48s master
master
March 18, 2025 10:42 1m 48s
added for this presentation Lean Action CI #54: Commit be3d47f pushed by guialvares
March 18, 2025 10:40 2m 15s master
master
March 18, 2025 10:40 2m 15s
added more points Lean Action CI #53: Commit 55942d4 pushed by guialvares
March 18, 2025 10:40 2m 19s master
master
March 18, 2025 10:40 2m 19s
improved the presentation Lean Action CI #52: Commit 35b79c3 pushed by guilhermehas
March 18, 2025 10:00 2m 5s master
master
March 18, 2025 10:00 2m 5s
improved examples Lean Action CI #51: Commit 2dbd565 pushed by guialvares
March 17, 2025 18:28 2m 14s master
master
March 17, 2025 18:28 2m 14s
added findOnSave Lean Action CI #50: Commit 30c4378 pushed by guialvares
March 17, 2025 18:18 1m 41s master
master
March 17, 2025 18:18 1m 41s
renamed some examples Lean Action CI #49: Commit d056204 pushed by guialvares
March 17, 2025 16:58 1m 47s master
master
March 17, 2025 16:58 1m 47s
Added presentation Lean Action CI #48: Commit c53253b pushed by guialvares
March 17, 2025 16:51 1m 54s master
master
March 17, 2025 16:51 1m 54s
added one more example Lean Action CI #47: Commit 04715f0 pushed by guialvares
March 17, 2025 15:42 2m 23s master
master
March 17, 2025 15:42 2m 23s
split lines Lean Action CI #46: Commit 8c5f96c pushed by guialvares
March 17, 2025 09:42 2m 13s master
master
March 17, 2025 09:42 2m 13s
added find Lean Action CI #45: Commit 68cdad7 pushed by guilhermehas
March 14, 2025 22:40 2m 11s master
master
March 14, 2025 22:40 2m 11s
added subtyping Lean Action CI #44: Commit 28271eb pushed by guilhermehas
March 14, 2025 16:58 2m 5s master
master
March 14, 2025 16:58 2m 5s
renamed types Lean Action CI #43: Commit 8d40da0 pushed by guilhermehas
March 14, 2025 16:44 2m 39s master
master
March 14, 2025 16:44 2m 39s
fixed examples Lean Action CI #42: Commit 1e55f2c pushed by guilhermehas
March 14, 2025 13:46 2m 11s master
master
March 14, 2025 13:46 2m 11s
finished one example Lean Action CI #41: Commit 8dd90ec pushed by guialvares
March 13, 2025 15:21 2m 11s master
master
March 13, 2025 15:21 2m 11s
trying examples Lean Action CI #40: Commit cd8a9e2 pushed by guialvares
March 13, 2025 13:31 1m 15s master
master
March 13, 2025 13:31 1m 15s
split the line Lean Action CI #39: Commit cfa5b79 pushed by guialvares
March 12, 2025 15:18 2m 1s master
master
March 12, 2025 15:18 2m 1s
put more examples Lean Action CI #38: Commit 979a7df pushed by guialvares
March 12, 2025 15:09 2m 13s master
master
March 12, 2025 15:09 2m 13s
improved examples Lean Action CI #37: Commit 711bfe1 pushed by guialvares
March 12, 2025 13:53 2m 9s master
master
March 12, 2025 13:53 2m 9s
added some of main lemmas to Lib Lean Action CI #36: Commit 2501303 pushed by guialvares
March 12, 2025 13:08 2m 4s master
master
March 12, 2025 13:08 2m 4s
0