Skip to content

Actions: scmlab/gcl-all

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update flake.lock Build and Push #109: Pull request #32 opened by NOOBDY
23s NOOBDY:flake-lock
NOOBDY:flake-lock
23s
Build and Push Build and Push #108: Manually run by LCamel
28s main
main
28s
add gcl.debug command (ctrl+c ctrl+/) to log FileState Build and Push #107: Pull request #31 opened by LCamel
28s add_debug
add_debug
28s
Merge pull request #30 from scmlab/issue_17_fix_type_env_in_runElabor… Build and Push #106: Commit 57d1d41 pushed by LCamel
23m 21s main
main
23m 21s
fix #17 by passing the right type env to the init state of "elaborate" Build and Push #105: Pull request #30 opened by LCamel
17s issue_17_fix_type_env_in_runElaboration
issue_17_fix_type_env_in_runElaboration
17s
Merge pull request #29 from scmlab/issue_17_refine_type_env Build and Push #104: Commit 1c99ed8 pushed by NOOBDY
19m 2s main
main
19m 2s
show FileState Build and Push #103: Pull request #29 synchronize by LCamel
18s issue_17_refine_type_env
issue_17_refine_type_env
18s
show FileState Build and Push #102: Pull request #29 synchronize by LCamel
14s issue_17_refine_type_env
issue_17_refine_type_env
14s
show FileState Build and Push #101: Pull request #29 synchronize by LCamel
26s issue_17_refine_type_env
issue_17_refine_type_env
26s
show FileState Build and Push #100: Pull request #29 synchronize by LCamel
23s issue_17_refine_type_env
issue_17_refine_type_env
23s
show FileState Build and Push #99: Pull request #29 synchronize by LCamel
21s issue_17_refine_type_env
issue_17_refine_type_env
21s
show FileState Build and Push #98: Pull request #29 opened by LCamel
22s issue_17_refine_type_env
issue_17_refine_type_env
22s
remove srcloc dep Build and Push #97: Pull request #25 synchronize by NOOBDY
20s NOOBDY:remove-loc
NOOBDY:remove-loc
20s
Merge pull request #28 from scmlab/go_to_def_comments Build and Push #96: Commit a2789b8 pushed by NOOBDY
4m 4s main
main
4m 4s
add comments for go to definition Build and Push #95: Pull request #28 opened by LCamel
20s go_to_def_comments
go_to_def_comments
20s
Merge pull request #27 from scmlab/refactor_lookupScopes Build and Push #94: Commit b9271ed pushed by NOOBDY
3m 29s main
main
3m 29s
Merge pull request #26 from scmlab/position-mapping-refactor-3 Build and Push #93: Commit 02c59a5 pushed by NOOBDY
3m 28s main
main
3m 28s
refactor lookupScopes: return immediately on first matching scope Build and Push #92: Pull request #27 opened by LCamel
21s refactor_lookupScopes
refactor_lookupScopes
21s
comment out unused functions addOldDelta and composeDelta Build and Push #91: Pull request #26 opened by LCamel
18s position-mapping-refactor-3
position-mapping-refactor-3
18s
remove srcloc dep Build and Push #90: Pull request #25 opened by NOOBDY
18s NOOBDY:remove-loc
NOOBDY:remove-loc
18s
Merge pull request #24 from scmlab/position-mapping-refactor-2 Build and Push #89: Commit 238e853 pushed by NOOBDY
3m 4s main
main
3m 4s
PositionMapping: extract "change" logic to avoid redundant computation Build and Push #88: Pull request #24 synchronize by LCamel
17s position-mapping-refactor-2
position-mapping-refactor-2
17s
PositionMapping: extract "change" logic to avoid redundant computation Build and Push #87: Pull request #24 synchronize by LCamel
21s position-mapping-refactor-2
position-mapping-refactor-2
21s
PositionMapping: extract "change" logic to avoid redundant computation Build and Push #86: Pull request #24 opened by LCamel
21s position-mapping-refactor-2
position-mapping-refactor-2
21s
Merge pull request #23 from scmlab/position-mapping-refactor Build and Push #85: Commit 0565bbb pushed by NOOBDY
2m 54s main
main
2m 54s