Skip to content

Actions: riccardobrasca/Numbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
beamer Build project, blueprint & deploy #23: Commit c26d0f3 pushed by riccardobrasca
9m 28s main
main
9m 28s
better Build project, blueprint & deploy #22: Commit 9810dd2 pushed by riccardobrasca
9m 3s main
main
9m 3s
fix comments and formatting in integers.lean Build project, blueprint & deploy #21: Commit 4c08c97 pushed by riccardobrasca
8m 41s main
main
8m 41s
fix blueprint Build project, blueprint & deploy #20: Commit 05c56aa pushed by riccardobrasca
13m 38s main
main
13m 38s
fix doc Build project, blueprint & deploy #19: Commit 632f8ab pushed by riccardobrasca
9m 47s main
main
9m 47s
add doc Build project, blueprint & deploy #18: Commit 3b5bc63 pushed by riccardobrasca
8m 57s main
main
8m 57s
last one? Build project, blueprint & deploy #17: Commit 3f03e76 pushed by riccardobrasca
3m 5s main
main
3m 5s
better Build project, blueprint & deploy #16: Commit b363db6 pushed by riccardobrasca
4m 12s main
main
4m 12s
ops Build project, blueprint & deploy #15: Commit 362267a pushed by riccardobrasca
9m 11s main
main
9m 11s
add check Build project, blueprint & deploy #14: Commit 294e3b3 pushed by riccardobrasca
2m 10s main
main
2m 10s
add zero_ne_one Build project, blueprint & deploy #13: Commit a5ba7c7 pushed by riccardobrasca
7m 58s main
main
7m 58s
why not Build project, blueprint & deploy #12: Commit d0568b9 pushed by riccardobrasca
5m 1s main
main
5m 1s
fix Build project, blueprint & deploy #11: Commit b24e3bf pushed by riccardobrasca
6m 37s main
main
6m 37s
add this Build project, blueprint & deploy #10: Commit 106c1f2 pushed by riccardobrasca
34s main
main
34s
add explanation Build project, blueprint & deploy #9: Commit db577c9 pushed by riccardobrasca
3m 9s main
main
3m 9s
ops Build project, blueprint & deploy #8: Commit 8409033 pushed by riccardobrasca
3m 28s main
main
3m 28s
add this Build project, blueprint & deploy #7: Commit 1b16be3 pushed by riccardobrasca
4m 15s main
main
4m 15s
better Build project, blueprint & deploy #6: Commit 5fa3eeb pushed by riccardobrasca
43m 8s main
main
43m 8s
Fix typos, rename Int.ne_zero_coe_mul to MyInt.ne_zero_coe_mul, build… Build project, blueprint & deploy #5: Commit 1cd57aa pushed by riccardobrasca
25m 47s main
main
25m 47s
blueprint: add reals chapter Build project, blueprint & deploy #4: Commit 54b754e pushed by riccardobrasca
10m 19s main
main
10m 19s
blueprint: add natural numbers chapter and fix misalignments Build project, blueprint & deploy #3: Commit 0a724ea pushed by riccardobrasca
8m 17s main
main
8m 17s
Remove Solutions folder from main Build project, blueprint & deploy #2: Commit 474c7b1 pushed by riccardobrasca
46m 2s main
main
46m 2s
CI: replace blueprint workflow with lean-action + docgen-action Build project, blueprint & deploy #1: Commit 808c1be pushed by riccardobrasca
2m 37s main
main
2m 37s
use MyNat Compile blueprint #65: Commit bf5107d pushed by riccardobrasca
2m 18s main
main
2m 18s
use MyNat uo to rationals.lean Compile blueprint #64: Commit 9340e02 pushed by riccardobrasca
2m 37s main
main
2m 37s