Skip to content

Actions: scmlab/gcl

Actions

CI (macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-mac.yaml
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add helping toAbstractFragment and typeCheckFragment to guabao/refine CI (macOS) #622: Commit 1a0d725 pushed by B04902047
June 5, 2024 10:02 6m 38s feat/PositionMapping
feat/PositionMapping
June 5, 2024 10:02 6m 38s
implement key function parseFragment for refine CI (macOS) #621: Commit 07655b6 pushed by B04902047
June 5, 2024 09:13 6m 22s feat/PositionMapping
feat/PositionMapping
June 5, 2024 09:13 6m 22s
fix hover and goToDefinition CI (macOS) #620: Commit f3aceca pushed by B04902047
June 5, 2024 08:49 6m 18s feat/PositionMapping
feat/PositionMapping
June 5, 2024 08:49 6m 18s
merge with Typed.hs CI (macOS) #619: Commit 4bc08a3 pushed by B04902047
June 5, 2024 03:15 6m 22s feat/PositionMapping
feat/PositionMapping
June 5, 2024 03:15 6m 22s
Properly implement data types. CI (macOS) #618: Pull request #73 opened by AndyShiue
June 4, 2024 08:37 5m 45s AndyShiue:data
AndyShiue:data
June 4, 2024 08:37 5m 45s
Merge pull request #70 from AndyShiue/ServerM2tmp CI (macOS) #617: Commit a2d0afc pushed by scmu
June 3, 2024 06:55 6m 49s ServerM2
ServerM2
June 3, 2024 06:55 6m 49s
Merge from ServerM2tmp CI (macOS) #616: Pull request #70 synchronize by AndyShiue
June 3, 2024 06:28 6m 28s AndyShiue:ServerM2tmp
AndyShiue:ServerM2tmp
June 3, 2024 06:28 6m 28s
Merge pull request #72 from AndyShiue/typed CI (macOS) #615: Commit 1a384c4 pushed by scmu
June 3, 2024 06:21 6m 38s master
master
June 3, 2024 06:21 6m 38s
Add elaboration to typed AST. CI (macOS) #614: Pull request #72 opened by AndyShiue
May 29, 2024 08:35 12m 35s AndyShiue:typed
AndyShiue:typed
May 29, 2024 08:35 12m 35s
add guabao/refine CI (macOS) #613: Commit a646f27 pushed by B04902047
May 28, 2024 09:07 6m 21s feat/PositionMapping
feat/PositionMapping
May 28, 2024 09:07 6m 21s
split reload from guabao to guabao/reload CI (macOS) #612: Commit 92f24d6 pushed by B04902047
May 28, 2024 07:23 6m 15s feat/PositionMapping
feat/PositionMapping
May 28, 2024 07:23 6m 15s
refactor server CI (macOS) #611: Commit b356881 pushed by B04902047
May 27, 2024 09:09 7m 12s feat/PositionMapping
feat/PositionMapping
May 27, 2024 09:09 7m 12s
fix to compile CI (macOS) #610: Commit 0678493 pushed by B04902047
May 20, 2024 05:45 5m 57s ServerM2
ServerM2
May 20, 2024 05:45 5m 57s
Merge from ServerM2tmp CI (macOS) #609: Pull request #70 opened by AndyShiue
March 27, 2024 05:57 15m 23s AndyShiue:ServerM2tmp
AndyShiue:ServerM2tmp
March 27, 2024 05:57 15m 23s
Slightly change the JSON format between the client and the server CI (macOS) #608: Pull request #69 synchronize by AndyShiue
March 1, 2024 09:29 4m 21s HelloGuabao
HelloGuabao
March 1, 2024 09:29 4m 21s
Revert "Prototypical HelloWorld implementation + refactoring." CI (macOS) #607: Commit 20710d0 pushed by AndyShiue
March 1, 2024 09:29 7m 32s HelloGuabao
HelloGuabao
March 1, 2024 09:29 7m 32s
Slightly change the JSON format between the client and the server CI (macOS) #606: Pull request #69 synchronize by AndyShiue
March 1, 2024 09:28 4m 8s HelloGuabao
HelloGuabao
March 1, 2024 09:28 4m 8s
Prototypical HelloWorld implementation + refactoring. CI (macOS) #605: Commit 3371b3b pushed by AndyShiue
March 1, 2024 09:28 5m 36s HelloGuabao
HelloGuabao
March 1, 2024 09:28 5m 36s
Slightly change the JSON format between the client and the server CI (macOS) #604: Pull request #69 synchronize by AndyShiue
March 1, 2024 06:56 3m 57s HelloGuabao
HelloGuabao
March 1, 2024 06:56 3m 57s
Removed unused code. CI (macOS) #603: Commit 72cec8b pushed by AndyShiue
March 1, 2024 06:55 9m 27s HelloGuabao
HelloGuabao
March 1, 2024 06:55 9m 27s
fix(Server.Handler2.CustomMethod): change parse type from Request to … CI (macOS) #602: Commit 3c51d7d pushed by B04902047
March 1, 2024 06:51 4m 15s ServerM2
ServerM2
March 1, 2024 06:51 4m 15s
Slightly change the JSON format between the client and the server CI (macOS) #601: Pull request #69 synchronize by AndyShiue
March 1, 2024 06:04 2m 54s HelloGuabao
HelloGuabao
March 1, 2024 06:04 2m 54s
Fix warnings. CI (macOS) #600: Commit a39f306 pushed by AndyShiue
March 1, 2024 06:04 7m 29s HelloGuabao
HelloGuabao
March 1, 2024 06:04 7m 29s
Slightly change the JSON format between the client and the server CI (macOS) #599: Pull request #69 opened by AndyShiue
March 1, 2024 05:54 2m 31s HelloGuabao
HelloGuabao
March 1, 2024 05:54 2m 31s
Fix request format. CI (macOS) #598: Commit 9d2e605 pushed by AndyShiue
March 1, 2024 04:00 5m 17s HelloGuabao
HelloGuabao
March 1, 2024 04:00 5m 17s