Skip to content

Actions: scmlab/gcl

Actions

CI (Windows)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
138 workflow runs
138 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

handler2 - new custom method SubstituteRedex
CI (Windows) #573: Commit 6c14663 pushed by B04902047
February 20, 2024 10:11 3m 20s ServerM2
February 20, 2024 10:11 3m 20s
style
CI (Windows) #572: Commit d44bc48 pushed by B04902047
February 20, 2024 09:46 3m 23s ServerM2
February 20, 2024 09:46 3m 23s
docs
CI (Windows) #571: Commit 612a05a pushed by B04902047
February 20, 2024 09:13 3m 12s ServerM2
February 20, 2024 09:13 3m 12s
add concreteProgram as a field to data LoadedProgram
CI (Windows) #570: Commit 502e81d pushed by B04902047
February 20, 2024 09:08 3m 8s ServerM2
February 20, 2024 09:08 3m 8s
new handler: inspect and insert proof template
CI (Windows) #569: Commit e0cbc2c pushed by B04902047
February 20, 2024 08:29 3m 52s ServerM2
February 20, 2024 08:29 3m 52s
refactor handlerReload
CI (Windows) #568: Commit 289b27f pushed by B04902047
February 20, 2024 01:15 4m 26s ServerM2
February 20, 2024 01:15 4m 26s
finish handler2
CI (Windows) #567: Commit ecde58c pushed by B04902047
February 19, 2024 14:13 21m 30s ServerM2
February 19, 2024 14:13 21m 30s
rewrite handler as handler2
CI (Windows) #566: Commit 9e2393e pushed by B04902047
February 19, 2024 14:00 15m 54s ServerM2
February 19, 2024 14:00 15m 54s
refactor: new definition of the outer most handlers
CI (Windows) #565: Commit 8863c0b pushed by B04902047
February 19, 2024 10:47 15m 39s ServerM2
February 19, 2024 10:47 15m 39s
complete custom method2
CI (Windows) #564: Commit b8489bb pushed by B04902047
February 19, 2024 02:31 15m 33s ServerM2
February 19, 2024 02:31 15m 33s
test custom method 2
CI (Windows) #563: Commit 84908f5 pushed by B04902047
February 16, 2024 10:42 16m 1s vince
February 16, 2024 10:42 16m 1s
add custom method handler handleHelloWorld
CI (Windows) #562: Commit 9c726cc pushed by B04902047
February 3, 2024 07:09 6m 16s vince
February 3, 2024 07:09 6m 16s
Revert "[ server ] Changed default mode as socket mode."
CI (Windows) #561: Commit adb97f5 pushed by B04902047
February 3, 2024 04:01 20m 15s vince
February 3, 2024 04:01 20m 15s