Skip to content

Actions: Deducteam/lean2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip Tests #140: Commit 84bb8c1 pushed by rish987
9m 37s thesis
thesis
9m 37s
wip Tests #139: Commit a8e9f0c pushed by rish987
6m 8s thesis
thesis
6m 8s
wip Tests #138: Commit fdd9bae pushed by rish987
5m 37s thesis
thesis
5m 37s
wip Tests #137: Commit 6b6ecf5 pushed by rish987
9m 56s thesis
thesis
9m 56s
wip Tests #136: Commit ff2aa2d pushed by rish987
9m 14s thesis
thesis
9m 14s
misc Tests #135: Commit 6d74848 pushed by rish987
9m 3s main
main
9m 3s
chore: toolchain update Tests #134: Commit 2ca4418 pushed by rish987
11m 7s main
main
11m 7s
opt: shorten aux level def applications Tests #133: Commit 935fff8 pushed by rish987
7m 8s main
main
7m 8s
fix Tests #132: Commit cd8b311 pushed by rish987
3m 53s main
main
3m 53s
opt: shorter names for aux universe level defs Tests #131: Commit 043f319 pushed by rish987
3m 40s main
main
3m 40s
wip Tests #130: Commit 89f41ee pushed by rish987
4m 52s main
main
4m 52s
feat: basic universe level sharing Tests #129: Commit 28df5eb pushed by rish987
7m 22s main
main
7m 22s
wip universe level sharing Tests #128: Commit 46b9b7f pushed by rish987
8m 7s sharing
sharing
8m 7s
wip universe level sharing Tests #127: Commit 1406912 pushed by rish987
3m 50s sharing
sharing
3m 50s
wip universe level sharing Tests #126: Commit a1cc22c pushed by rish987
4m 0s sharing
sharing
4m 0s
wip translation for each module, one at a time Tests #125: Commit 189a925 pushed by rish987
3m 48s by_module
by_module
3m 48s
wip universe level sharing Tests #124: Commit a7f9296 pushed by rish987
4m 52s sharing
sharing
4m 52s
wip universe level sharing Tests #123: Commit d9303ea pushed by rish987
3m 50s sharing
sharing
3m 50s
wip universe level sharing Tests #122: Commit d5fea1d pushed by rish987
3m 46s sharing
sharing
3m 46s
opt: only include used universe level variables in aux let defs Tests #121: Commit 3837ee6 pushed by rish987
8m 54s main
main
8m 54s
opt: only include used universe level variables in aux let defs Tests #120: Commit bdcbf14 pushed by rish987
8m 49s main
main
8m 49s
feat: output separated by modules Tests #119: Commit 96ef70f pushed by rish987
11m 31s main
main
11m 31s
feat: output separated by modules Tests #118: Commit 75c1666 pushed by rish987
9m 19s main
main
9m 19s
feat: output separated by modules Tests #117: Commit 75c1666 pushed by rish987
14m 56s module-output
module-output
14m 56s
wip: output separated by modules Tests #116: Commit c489425 pushed by rish987
26m 20s module-output
module-output
26m 20s