Skip to content

Actions: SoftwareFoundationGroupAtKyotoU/lambda-S-dti

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 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 example in SEmonotonic-reference paper, omit X?;⊥, fix bugs in ma… CI #64: Commit f5660f8 pushed by oshimayuki1124
7m 37s master
master
7m 37s
introduce prec_match in parser CI #63: Commit bc6a54d pushed by oshimayuki1124
9m 1s master
master
9m 1s
modisy tests for issue1 CI #62: Commit 1c9b2dc pushed by oshimayuki1124
6m 2s master
master
6m 2s
add issue1 compiler tests CI #61: Commit 6648ba7 pushed by oshimayuki1124
6m 3s master
master
6m 3s
add interpreter tests for issue 2 CI #60: Commit ed55367 pushed by oshimayuki1124
6m 18s master
master
6m 18s
add tests for issue2 CI #59: Commit eda9dae pushed by oshimayuki1124
6m 2s master
master
6m 2s
modify toC not to using references CI #58: Commit 3a3d8c5 pushed by oshimayuki1124
6m 11s master
master
6m 11s
two -> fun in app.c CI #57: Commit d3d6db9 pushed by oshimayuki1124
6m 8s master
master
6m 8s
organize files CI #56: Commit ecacde3 pushed by oshimayuki1124
9m 15s master
master
9m 15s
implement tuple on compiler CI #55: Commit c11ef6c pushed by oshimayuki1124
9m 24s master
master
9m 24s
tuple for interpreter CI #54: Commit 7bb149a pushed by oshimayuki1124
5m 49s master
master
5m 49s
add eager for B test CI #53: Commit 13fa9b9 pushed by oshimayuki1124
6m 20s master
master
6m 20s
add tests for list and other binops, refactor config CI #52: Commit 25f4c60 pushed by oshimayuki1124
5m 26s master
master
5m 26s
revise pipeline, use it in main, bench, test CI #51: Commit 798e3bd pushed by oshimayuki1124
6m 15s master
master
6m 15s
compress eval tests, take kNorm argument in config CI #50: Commit 7987f36 pushed by oshimayuki1124
6m 9s master
master
6m 9s
LS1をCCに統合 CI #49: Commit ec16619 pushed by oshimayuki1124
5m 38s master
master
5m 38s
Merge branch 'master' of https://github.com/SoftwareFoundationGroupAt… CI #48: Commit 80003ca pushed by oshimayuki1124
5m 45s master
master
5m 45s
experiment experiment for paper, add church_compare CI #47: Commit fb85a0f pushed by oshimayuki1124
9m 26s master
master
9m 26s
plotの見栄えを修正、テキストやテーブルはON/OFFできるように CI #46: Commit 2490c59 pushed by oshimayuki1124
6m 26s master
master
6m 26s
plotのログ出力を充実させた CI #45: Commit 0825c90 pushed by oshimayuki1124
6m 19s master
master
6m 19s
cast_countをinj,projに対しても行う CI #44: Commit 4da7631 pushed by oshimayuki1124
6m 40s master
master
6m 40s
ty_findの抜けを修正 CI #43: Commit 76d7430 pushed by oshimayuki1124
6m 23s master
master
6m 23s
scatter, metricを0startに、色を固定、relativeを対数スケールに CI #42: Commit 2ed0ebd pushed by oshimayuki1124
7m 29s master
master
7m 29s
fun coercionのbugを修正 CI #41: Commit 415e068 pushed by oshimayuki1124
6m 16s master
master
6m 16s
toC, pipeline merge CI #40: Commit 7363dc6 pushed by oshimayuki1124
6m 25s master
master
6m 25s