Skip to content

Actions: scmlab/gcl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
414 workflow runs
414 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

handler2 - new custom method SubstituteRedex CI (Linux) #572: Commit 6c14663 pushed by B04902047
February 20, 2024 10:11 1m 13s ServerM2
ServerM2
February 20, 2024 10:11 1m 13s
handler2 - new custom method SubstituteRedex CI (Windows) #573: Commit 6c14663 pushed by B04902047
February 20, 2024 10:11 3m 20s ServerM2
ServerM2
February 20, 2024 10:11 3m 20s
handler2 - new custom method SubstituteRedex CI (macOS) #572: Commit 6c14663 pushed by B04902047
February 20, 2024 10:11 1m 50s ServerM2
ServerM2
February 20, 2024 10:11 1m 50s
style CI (Linux) #571: Commit d44bc48 pushed by B04902047
February 20, 2024 09:46 1m 23s ServerM2
ServerM2
February 20, 2024 09:46 1m 23s
style CI (Windows) #572: Commit d44bc48 pushed by B04902047
February 20, 2024 09:46 3m 23s ServerM2
ServerM2
February 20, 2024 09:46 3m 23s
style CI (macOS) #571: Commit d44bc48 pushed by B04902047
February 20, 2024 09:46 1m 52s ServerM2
ServerM2
February 20, 2024 09:46 1m 52s
docs CI (Linux) #570: Commit 612a05a pushed by B04902047
February 20, 2024 09:13 1m 12s ServerM2
ServerM2
February 20, 2024 09:13 1m 12s
docs CI (Windows) #571: Commit 612a05a pushed by B04902047
February 20, 2024 09:13 3m 12s ServerM2
ServerM2
February 20, 2024 09:13 3m 12s
docs CI (macOS) #570: Commit 612a05a pushed by B04902047
February 20, 2024 09:13 1m 36s ServerM2
ServerM2
February 20, 2024 09:13 1m 36s
add concreteProgram as a field to data LoadedProgram CI (Windows) #570: Commit 502e81d pushed by B04902047
February 20, 2024 09:08 3m 8s ServerM2
ServerM2
February 20, 2024 09:08 3m 8s
add concreteProgram as a field to data LoadedProgram CI (macOS) #569: Commit 502e81d pushed by B04902047
February 20, 2024 09:08 2m 12s ServerM2
ServerM2
February 20, 2024 09:08 2m 12s
add concreteProgram as a field to data LoadedProgram CI (Linux) #569: Commit 502e81d pushed by B04902047
February 20, 2024 09:08 1m 14s ServerM2
ServerM2
February 20, 2024 09:08 1m 14s
new handler: inspect and insert proof template CI (macOS) #568: Commit e0cbc2c pushed by B04902047
February 20, 2024 08:29 1m 22s ServerM2
ServerM2
February 20, 2024 08:29 1m 22s
new handler: inspect and insert proof template CI (Linux) #568: Commit e0cbc2c pushed by B04902047
February 20, 2024 08:29 1m 18s ServerM2
ServerM2
February 20, 2024 08:29 1m 18s
new handler: inspect and insert proof template CI (Windows) #569: Commit e0cbc2c pushed by B04902047
February 20, 2024 08:29 3m 52s ServerM2
ServerM2
February 20, 2024 08:29 3m 52s
refactor handlerReload CI (macOS) #567: Commit 289b27f pushed by B04902047
February 20, 2024 01:15 3m 43s ServerM2
ServerM2
February 20, 2024 01:15 3m 43s
refactor handlerReload CI (Windows) #568: Commit 289b27f pushed by B04902047
February 20, 2024 01:15 4m 26s ServerM2
ServerM2
February 20, 2024 01:15 4m 26s
refactor handlerReload CI (Linux) #567: Commit 289b27f pushed by B04902047
February 20, 2024 01:15 2m 15s ServerM2
ServerM2
February 20, 2024 01:15 2m 15s
finish handler2 CI (Windows) #567: Commit ecde58c pushed by B04902047
February 19, 2024 14:13 21m 30s ServerM2
ServerM2
February 19, 2024 14:13 21m 30s
finish handler2 CI (Linux) #566: Commit ecde58c pushed by B04902047
February 19, 2024 14:13 15m 52s ServerM2
ServerM2
February 19, 2024 14:13 15m 52s
finish handler2 CI (macOS) #566: Commit ecde58c pushed by B04902047
February 19, 2024 14:13 27m 35s ServerM2
ServerM2
February 19, 2024 14:13 27m 35s
rewrite handler as handler2 CI (Windows) #566: Commit 9e2393e pushed by B04902047
February 19, 2024 14:00 15m 54s ServerM2
ServerM2
February 19, 2024 14:00 15m 54s
rewrite handler as handler2 CI (macOS) #565: Commit 9e2393e pushed by B04902047
February 19, 2024 14:00 15m 31s ServerM2
ServerM2
February 19, 2024 14:00 15m 31s
rewrite handler as handler2 CI (Linux) #565: Commit 9e2393e pushed by B04902047
February 19, 2024 14:00 11m 52s ServerM2
ServerM2
February 19, 2024 14:00 11m 52s
refactor: new definition of the outer most handlers CI (Windows) #565: Commit 8863c0b pushed by B04902047
February 19, 2024 10:47 15m 39s ServerM2
ServerM2
February 19, 2024 10:47 15m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.