Skip to content

Actions: dtumad/lean-crypto-formalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

link in readme .github/workflows/lean_build.yml #411: Commit 820d66c pushed by dtumad
April 8, 2024 12:54 5m 34s master
master
April 8, 2024 12:54 5m 34s
.github/workflows/lean_build.yml .github/workflows/lean_build.yml #410: by dtumad
March 13, 2024 01:47 5m 46s master
master
March 13, 2024 01:47 5m 46s
.github/workflows/lean_build.yml .github/workflows/lean_build.yml #409: by dtumad
March 13, 2024 01:47 29s master
master
March 13, 2024 01:47 29s
build errors .github/workflows/lean_build.yml #408: Commit 716f85a pushed by dtumad
March 10, 2024 05:01 5m 16s master
master
March 10, 2024 05:01 5m 16s
before port .github/workflows/lean_build.yml #407: Commit dce6c36 pushed by dtumad
March 10, 2024 02:45 5m 33s master
master
March 10, 2024 02:45 5m 33s
before port .github/workflows/lean_build.yml #406: Commit dce6c36 pushed by dtumad
March 10, 2024 02:44 54m 53s organs
organs
March 10, 2024 02:44 54m 53s
current .github/workflows/lean_build.yml #405: Commit 7a626ad pushed by dtumad
February 28, 2024 07:11 56m 5s organs
organs
February 28, 2024 07:11 56m 5s
orginization .github/workflows/lean_build.yml #404: Commit 5c71a50 pushed by dtumad
February 24, 2024 22:40 59m 4s organs
organs
February 24, 2024 22:40 59m 4s
poly stuff .github/workflows/lean_build.yml #403: Commit c110435 pushed by dtumad
February 24, 2024 21:14 1h 2m 21s organs
organs
February 24, 2024 21:14 1h 2m 21s
imports .github/workflows/lean_build.yml #402: Commit 1194f03 pushed by dtumad
February 24, 2024 18:56 55m 56s organs
organs
February 24, 2024 18:56 55m 56s
imports .github/workflows/lean_build.yml #401: Commit 1194f03 pushed by dtumad
February 24, 2024 18:55 5m 37s master
master
February 24, 2024 18:55 5m 37s
imports .github/workflows/lean_build.yml #400: Commit 1194f03 pushed by dtumad
February 24, 2024 18:55 58m 3s asymptotic_bounds
asymptotic_bounds
February 24, 2024 18:55 58m 3s
imports and stuff .github/workflows/lean_build.yml #399: Commit 6eed00d pushed by dtumad
February 24, 2024 18:36 18m 56s asymptotic_bounds
asymptotic_bounds
February 24, 2024 18:36 18m 56s
defaulting .github/workflows/lean_build.yml #398: Commit 5060148 pushed by dtumad
February 24, 2024 16:51 55m 41s asymptotic_bounds
asymptotic_bounds
February 24, 2024 16:51 55m 41s
simplifying .github/workflows/lean_build.yml #397: Commit d51933b pushed by dtumad
February 24, 2024 16:39 12m 30s asymptotic_bounds
asymptotic_bounds
February 24, 2024 16:39 12m 30s
asymp .github/workflows/lean_build.yml #396: Commit c25bfca pushed by dtumad
February 21, 2024 21:47 54m 53s asymptotic_bounds
asymptotic_bounds
February 21, 2024 21:47 54m 53s
list mappings .github/workflows/lean_build.yml #395: Commit 76a2e43 pushed by dtumad
February 21, 2024 21:47 14s asymptotic_bounds
asymptotic_bounds
February 21, 2024 21:47 14s
list mappings .github/workflows/lean_build.yml #394: Commit 76a2e43 pushed by dtumad
February 21, 2024 13:53 6m 4s master
master
February 21, 2024 13:53 6m 4s
support cleanup .github/workflows/lean_build.yml #393: Commit 9bc160a pushed by dtumad
February 19, 2024 17:29 5m 16s master
master
February 19, 2024 17:29 5m 16s
support cleanup .github/workflows/lean_build.yml #392: Commit 9bc160a pushed by dtumad
February 19, 2024 12:05 1h 2m 33s new-fork
new-fork
February 19, 2024 12:05 1h 2m 33s
nice fork bound .github/workflows/lean_build.yml #391: Commit 6809ea5 pushed by dtumad
February 18, 2024 05:27 56m 37s new-fork
new-fork
February 18, 2024 05:27 56m 37s
nice indexing list manipulation .github/workflows/lean_build.yml #390: Commit 9968600 pushed by dtumad
February 17, 2024 09:49 58m 25s new-fork
new-fork
February 17, 2024 09:49 58m 25s
build errors .github/workflows/lean_build.yml #389: Commit e929af8 pushed by dtumad
February 15, 2024 10:25 58m 23s new-fork
new-fork
February 15, 2024 10:25 58m 23s
more cleaning .github/workflows/lean_build.yml #388: Commit 8618b3f pushed by dtumad
February 15, 2024 08:18 55m 15s new-fork
new-fork
February 15, 2024 08:18 55m 15s
calc proof .github/workflows/lean_build.yml #387: Commit 786d7df pushed by dtumad
February 15, 2024 05:21 56m 12s new-fork
new-fork
February 15, 2024 05:21 56m 12s