Skip to content

Actions: D-Se/ask

Actions

ci

Actions

Loading...

Show workflow options

Create status badge

59 workflow runs
59 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

ask Delphi
ci #59: Commit d168381 pushed by D-Se
June 2, 2024 08:59 58s main
June 2, 2024 08:59 58s
type table space
ci #58: Commit 90e15a9 pushed by D-Se
December 1, 2023 20:20 59s main
December 1, 2023 20:20 59s
type table spaces
ci #57: Commit 6268fa9 pushed by D-Se
December 1, 2023 20:19 1m 1s main
December 1, 2023 20:19 1m 1s
groundcrew flag waving for abbreviations
ci #56: Commit 021391f pushed by D-Se
December 1, 2023 20:15 57s main
December 1, 2023 20:15 57s
Code clarity pass
ci #55: Commit 1de2fc7 pushed by D-Se
December 1, 2023 20:05 1m 4s main
December 1, 2023 20:05 1m 4s
Marketing called
ci #54: Commit c4d2c80 pushed by D-Se
November 30, 2023 23:11 2m 26s main
November 30, 2023 23:11 2m 26s
Shrink code volume
ci #53: Commit ee9fa49 pushed by D-Se
November 30, 2023 21:23 56s main
November 30, 2023 21:23 56s
add tests for chained syntax
ci #52: Commit 560d187 pushed by D-Se
November 30, 2023 15:32 53s main
November 30, 2023 15:32 53s
extend type check fallback
ci #51: Commit db5cc72 pushed by D-Se
November 30, 2023 11:47 1m 32s main
November 30, 2023 11:47 1m 32s
Merge pull request #22 from D-Se/safe
ci #50: Commit 5a853c8 pushed by D-Se
November 29, 2023 15:17 57s main
November 29, 2023 15:17 57s
Safe
ci #49: Pull request #22 opened by D-Se
November 29, 2023 15:17 55s safe
November 29, 2023 15:17 55s
Update license
ci #48: Commit cbdb565 pushed by D-Se
November 29, 2023 14:20 53s main
November 29, 2023 14:20 53s
Merge pull request #21 from D-Se/coverage
ci #47: Commit 8b68e12 pushed by D-Se
November 29, 2023 12:27 1m 1s main
November 29, 2023 12:27 1m 1s
Extend coverage for type checks
ci #46: Pull request #21 opened by D-Se
November 29, 2023 12:26 53s coverage
November 29, 2023 12:26 53s
Merge pull request #20 from D-Se/threads
ci #45: Commit 77fe330 pushed by D-Se
November 29, 2023 12:22 56s main
November 29, 2023 12:22 56s
Shrink OpenMP surface area
ci #44: Pull request #20 opened by D-Se
November 29, 2023 12:21 52s threads
November 29, 2023 12:21 52s
Merge pull request #19 from D-Se/abbreviate
ci #43: Commit 68f331a pushed by D-Se
November 28, 2023 23:44 52s main
November 28, 2023 23:44 52s
extensible abbreviations
ci #42: Pull request #19 opened by D-Se
November 28, 2023 23:41 51s abbreviate
November 28, 2023 23:41 51s
?
ci #41: Commit a86dd18 pushed by D-Se
November 28, 2023 21:50 1m 5s main
November 28, 2023 21:50 1m 5s
minor readability pass
ci #40: Commit 4d3c5f1 pushed by D-Se
November 28, 2023 21:31 1m 0s main
November 28, 2023 21:31 1m 0s
Elevated precedence: z <- x ? a ~ b
ci #39: Commit e569b3a pushed by D-Se
November 28, 2023 18:49 57s main
November 28, 2023 18:49 57s
Abb
ci #38: Pull request #18 synchronize by D-Se
September 26, 2023 11:26 1m 16s abb
abb
September 26, 2023 11:26 1m 16s
Abb
ci #37: Pull request #18 opened by D-Se
May 28, 2023 13:16 1m 24s abb
abb
May 28, 2023 13:16 1m 24s
trim C-level rhs
ci #36: Commit 1a89161 pushed by D-Se
May 19, 2023 07:54 1m 2s main
May 19, 2023 07:54 1m 2s
add ?~!
ci #35: Commit 03e0ac6 pushed by D-Se
May 18, 2023 22:49 57s main
May 18, 2023 22:49 57s