Skip to content

Actions: riccardobrasca/Numbers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 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
Add "Arithmetic modulo n" section to Beamer Build project, blueprint & deploy #29: Commit b325224 pushed by riccardobrasca
42m 18s main
main
42m 18s
Add Beamer presentation Build project, blueprint & deploy #28: Commit e1c34af pushed by riccardobrasca
29m 12s main
main
29m 12s
Remove redundant rational density exercise Build project, blueprint & deploy #27: Commit 45e5f1b pushed by riccardobrasca
44m 18s main
main
44m 18s
Add non-strict rational density exercise Build project, blueprint & deploy #26: Commit 86509cb pushed by riccardobrasca
9m 47s main
main
9m 47s
Add eventual inequality exercise Build project, blueprint & deploy #25: Commit 3a1c766 pushed by riccardobrasca
13m 26s main
main
13m 26s
better Build project, blueprint & deploy #24: Commit 1a5d49f pushed by riccardobrasca
30m 38s main
main
30m 38s
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