Skip to content

Actions: terencode/SAIL

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip CI #138: Commit efc8ec5 pushed by terencode
October 7, 2024 10:53 1m 3s inference
inference
October 7, 2024 10:53 1m 3s
process import, misc improvements CI #137: Commit 2e2deb6 pushed by terencode
October 5, 2024 10:13 3m 27s processes
processes
October 5, 2024 10:13 3m 27s
function monomorphization CI #136: Commit 68eb2b6 pushed by terencode
October 5, 2024 10:07 6m 23s processes
processes
October 5, 2024 10:07 6m 23s
Merge branch 'sail-pl:main' into processes CI #135: Commit e2efee6 pushed by terencode
October 5, 2024 10:03 4s processes
processes
October 5, 2024 10:03 4s
update to LLVM 15 & OCaml 5.1.0 CI #134: Commit 89df7ec pushed by terencode
September 16, 2023 03:34 8m 25s generics
generics
September 16, 2023 03:34 8m 25s
update to LLVM 15 & OCaml 5.1.0 CI #133: Commit 3754329 pushed by terencode
September 15, 2023 17:16 15m 2s generics
generics
September 15, 2023 17:16 15m 2s
update to LLVM 15 & OCaml 5.1.0 CI #132: Commit 1dc2194 pushed by terencode
September 15, 2023 14:06 3m 11s generics
generics
September 15, 2023 14:06 3m 11s
update to LLVM 15 & OCaml 5.1.0 CI #131: Commit b024d91 pushed by terencode
September 15, 2023 13:26 2m 59s generics
generics
September 15, 2023 13:26 2m 59s
update to LLVM 15 & OCaml 5 CI #130: Commit da0976f pushed by terencode
September 11, 2023 02:23 8m 52s generics
generics
September 11, 2023 02:23 8m 52s
update to LLVM 15 & OCaml 5 CI #129: Commit c58df50 pushed by terencode
September 10, 2023 17:03 8m 11s generics
generics
September 10, 2023 17:03 8m 11s
update to LLVM 15 & OCaml 5 CI #128: Commit 9b3529a pushed by terencode
September 5, 2023 23:13 10m 15s generics
generics
September 5, 2023 23:13 10m 15s
Constrain generic AST CI #127: Commit 1b57858 pushed by terencode
September 4, 2023 00:03 6m 50s generics
generics
September 4, 2023 00:03 6m 50s
Constrain generic AST CI #126: Commit a12f6c6 pushed by terencode
September 3, 2023 22:55 5m 59s generics
generics
September 3, 2023 22:55 5m 59s
stop sharing the same ast between hir & thir CI #125: Commit 93a929e pushed by terencode
September 1, 2023 22:57 5m 59s generics
generics
September 1, 2023 22:57 5m 59s
global typing context CI #124: Commit eacb0f1 pushed by terencode
August 31, 2023 22:20 7m 52s generics
generics
August 31, 2023 22:20 7m 52s
global typing context CI #123: Commit 3c2b111 pushed by terencode
August 31, 2023 18:38 6m 54s generics
generics
August 31, 2023 18:38 6m 54s
global typing context CI #122: Commit 47ee28d pushed by terencode
August 31, 2023 16:31 6m 16s generics
generics
August 31, 2023 16:31 6m 16s
process import, misc improvements CI #121: Commit 2e2deb6 pushed by terencode
August 24, 2023 09:14 6m 2s main
main
August 24, 2023 09:14 6m 2s
wip CI #120: Commit 6044207 pushed by terencode
August 24, 2023 01:45 7m 34s main
main
August 24, 2023 01:45 7m 34s
wip CI #119: Commit 8762a2d pushed by terencode
August 18, 2023 09:31 7m 30s main
main
August 18, 2023 09:31 7m 30s
wip CI #118: Commit 178181a pushed by terencode
August 17, 2023 14:55 7m 9s main
main
August 17, 2023 14:55 7m 9s
wip [skip-ci] CI #117: Commit 0180cb4 pushed by terencode
August 17, 2023 12:33 10m 14s main
main
August 17, 2023 12:33 10m 14s