Skip to content

Actions: JonBannon/LeanOA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Trying again to deploy Build project #55: Commit 588e751 pushed by JonBannon
5m 49s BlueprintBranch
BlueprintBranch
5m 49s
Full blueprint build (hopefully will allow deployment.) Build project #54: Commit 84bc332 pushed by JonBannon
26m 9s BlueprintBranch
BlueprintBranch
26m 9s
change Build project #53: Commit 9e80f30 pushed by JonBannon
4m 35s BlueprintBranch
BlueprintBranch
4m 35s
Merge remote-tracking branch 'upstream/master' into BlueprintBranch Build project #52: Commit cae4059 pushed by JonBannon
Failure BlueprintBranch
BlueprintBranch
Failure
chore: appease linters and fix workflow (#33) Build project #51: Commit c19dc92 pushed by JonBannon
46m 28s master
master
46m 28s
Final Push for Jan 14 Build project #50: Commit ad59235 pushed by JonBannon
11m 39s master
master
11m 39s
name change of lemma label Build project #49: Commit 598d41f pushed by JonBannon
2m 44s master
master
2m 44s
subposcutdep Build project #48: Commit 93d06fc pushed by JonBannon
5m 4s master
master
5m 4s
Cors Build project #47: Commit 3184585 pushed by JonBannon
7m 51s master
master
7m 51s
tweak Build project #46: Commit 6a948a1 pushed by JonBannon
10m 19s master
master
10m 19s
Fix3 Build project #45: Commit b1bc10e pushed by JonBannon
12m 28s master
master
12m 28s
fix again Build project #44: Commit 20fc2a8 pushed by JonBannon
13m 5s master
master
13m 5s
Fix Build project #43: Commit b66a158 pushed by JonBannon
12m 13s master
master
12m 13s
Update Build project #42: Commit ed296d8 pushed by JonBannon
12m 58s master
master
12m 58s
Update Build project #41: Commit a40dfef pushed by JonBannon
12m 54s master
master
12m 54s
proof of lemma Build project #40: Commit bc9dab6 pushed by JonBannon
18m 33s master
master
18m 33s
push! Build project #39: Commit f27979c pushed by JonBannon
23m 10s master
master
23m 10s
Update deps Build project #38: Commit 52c59e4 pushed by JonBannon
23m 2s master
master
23m 2s
update Build project #37: Commit a882fbe pushed by JonBannon
8m 49s master
master
8m 49s
edit Build project #36: Commit b35de0f pushed by JonBannon
11m 21s master
master
11m 21s
some update Build project #35: Commit 621d60c pushed by JonBannon
23m 41s master
master
23m 41s
bug fix Build project #34: Commit 0e8d9a5 pushed by JonBannon
17m 13s master
master
17m 13s
Update of blueprint Build project #33: Commit f4b720c pushed by JonBannon
13m 29s master
master
13m 29s
update blueprint all Build project #32: Commit 3e0f174 pushed by JonBannon
13m 8s master
master
13m 8s
dep update Build project #31: Commit a440f63 pushed by JonBannon
17m 11s master
master
17m 11s