Skip to content

Actions: shilangyu/alpha_calculus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #10 from shilangyu/fix/last-things CI #42: Commit fe1263d pushed by shilangyu
3m 3s main
main
3m 3s
Final cleanup CI #41: Pull request #10 synchronize by shilangyu
2m 49s fix/last-things
fix/last-things
2m 49s
Final cleanup CI #40: Pull request #10 opened by shilangyu
2m 54s fix/last-things
fix/last-things
2m 54s
Merge pull request #9 from shilangyu/feat/wf CI #39: Commit fb6c40f pushed by shilangyu
3m 10s main
main
3m 10s
Prove WF of HasTy CI #38: Pull request #9 opened by shilangyu
3m 0s feat/wf
feat/wf
3m 0s
Merge pull request #8 from shilangyu/feat/infer CI #37: Commit 3f7b1b7 pushed by shilangyu
2m 17s main
main
2m 17s
Implement and prove infer CI #36: Pull request #8 opened by shilangyu
2m 31s feat/infer
feat/infer
2m 31s
Merge pull request #7 from shilangyu/ema CI #35: Commit f2e93dc pushed by Yaboku19
2m 56s main
main
2m 56s
Ema CI #34: Pull request #7 synchronize by Yaboku19
2m 41s ema
ema
2m 41s
Ema CI #33: Pull request #7 synchronize by Yaboku19
2m 59s ema
ema
2m 59s
Ema CI #32: Pull request #7 synchronize by Yaboku19
2m 5s ema
ema
2m 5s
Ema CI #31: Pull request #7 synchronize by Yaboku19
2m 59s ema
ema
2m 59s
Merge pull request #6 from shilangyu/feat/fixpoint CI #30: Commit 5f8631b pushed by shilangyu
2m 31s main
main
2m 31s
Ema CI #29: Pull request #7 opened by Yaboku19
1m 46s ema
ema
1m 46s
Merge pull request #5 from shilangyu/feat/let-binding CI #28: Commit 6534c48 pushed by shilangyu
2m 35s main
main
2m 35s
Let bindings CI #27: Pull request #5 synchronize by shilangyu
2m 29s feat/let-binding
feat/let-binding
2m 29s
Let bindings CI #26: Pull request #5 synchronize by shilangyu
2m 27s feat/let-binding
feat/let-binding
2m 27s
Let bindings CI #25: Pull request #5 synchronize by shilangyu
2m 33s feat/let-binding
feat/let-binding
2m 33s
Let bindings CI #24: Pull request #5 synchronize by shilangyu
2m 32s feat/let-binding
feat/let-binding
2m 32s
Let bindings CI #23: Pull request #5 synchronize by shilangyu
2m 34s feat/let-binding
feat/let-binding
2m 34s
Let bindings CI #22: Pull request #5 synchronize by shilangyu
2m 21s feat/let-binding
feat/let-binding
2m 21s
Let bindings CI #21: Pull request #5 opened by shilangyu
2m 29s feat/let-binding
feat/let-binding
2m 29s
Merge pull request #4 from shilangyu/feature/interpreter CI #20: Commit b65915e pushed by j-f-ox
2m 30s main
main
2m 30s
Add interpreter with fuel CI #19: Pull request #4 synchronize by j-f-ox
2m 15s feature/interpreter
feature/interpreter
2m 15s
Add interpreter with fuel CI #18: Pull request #4 synchronize by j-f-ox
2m 19s feature/interpreter
feature/interpreter
2m 19s