Skip to content

Actions: wrsturgeon/inator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Unobservable stack CI #317: Pull request #46 synchronize by wrsturgeon
November 6, 2023 05:43 37s no-stack
no-stack
November 6, 2023 05:43 37s
Unobservable stack CI #316: Pull request #46 synchronize by wrsturgeon
November 6, 2023 04:43 38s no-stack
no-stack
November 6, 2023 04:43 38s
Unobservable stack CI #315: Pull request #46 opened by wrsturgeon
November 5, 2023 20:29 55s no-stack
no-stack
November 5, 2023 20:29 55s
Parse integers up to usize::MAX CI #314: Pull request #29 synchronize by wrsturgeon
November 5, 2023 05:37 56s integer
integer
November 5, 2023 05:37 56s
Parse integers up to usize::MAX CI #313: Pull request #29 synchronize by wrsturgeon
November 4, 2023 23:33 2m 47s integer
integer
November 4, 2023 23:33 2m 47s
Parse integers up to usize::MAX CI #312: Pull request #29 synchronize by wrsturgeon
November 4, 2023 22:55 2m 39s integer
integer
November 4, 2023 22:55 2m 39s
Parse integers up to usize::MAX CI #311: Pull request #29 synchronize by wrsturgeon
November 4, 2023 21:19 2m 30s integer
integer
November 4, 2023 21:19 2m 30s
Tracking issue: full JSON spec CI #310: Pull request #22 synchronize by wrsturgeon
November 4, 2023 20:36 1m 50s full-json
full-json
November 4, 2023 20:36 1m 50s
Parse integers up to usize::MAX CI #309: Pull request #29 synchronize by wrsturgeon
November 4, 2023 20:35 49s integer
integer
November 4, 2023 20:35 49s
Allow infix fixpoints (e.g. a >> fixpoint("f") >> g) (#45) CI #308: Commit e257966 pushed by wrsturgeon
November 4, 2023 20:34 44m 26s main
main
November 4, 2023 20:34 44m 26s
Parse integers up to usize::MAX CI #307: Pull request #29 synchronize by wrsturgeon
November 4, 2023 20:31 25s integer
integer
November 4, 2023 20:31 25s
Allow infix fixpoints (e.g. a >> fixpoint("f") >> g) CI #306: Pull request #45 synchronize by wrsturgeon
November 4, 2023 20:27 6m 16s shr-fixpoint
shr-fixpoint
November 4, 2023 20:27 6m 16s
Allow infix fixpoints (e.g. a >> fixpoint("f") >> g) CI #305: Pull request #45 opened by wrsturgeon
November 4, 2023 20:27 6m 41s shr-fixpoint
shr-fixpoint
November 4, 2023 20:27 6m 41s
Compute input type for Graphs (#44) CI #304: Commit dcc95d9 pushed by wrsturgeon
November 4, 2023 20:12 1h 1m 33s main
main
November 4, 2023 20:12 1h 1m 33s
Compute input type for Graphs CI #303: Pull request #44 synchronize by wrsturgeon
November 4, 2023 20:07 4m 29s input-type
input-type
November 4, 2023 20:07 4m 29s
Compute input type for Graphs CI #302: Pull request #44 opened by wrsturgeon
November 4, 2023 20:01 3m 23s input-type
input-type
November 4, 2023 20:01 3m 23s
Parse integers up to usize::MAX CI #301: Pull request #29 synchronize by wrsturgeon
November 4, 2023 19:59 46s integer
integer
November 4, 2023 19:59 46s
Tracking issue: full JSON spec CI #300: Pull request #22 synchronize by wrsturgeon
November 4, 2023 19:09 2m 53s full-json
full-json
November 4, 2023 19:09 2m 53s
Parse integers up to usize::MAX CI #299: Pull request #29 synchronize by wrsturgeon
November 4, 2023 19:09 45s integer
integer
November 4, 2023 19:09 45s
Test 1/10 as many iterations to avoid taking 6 hours (#43) CI #298: Commit 4a6f619 pushed by wrsturgeon
November 4, 2023 19:08 1h 7m 40s main
main
November 4, 2023 19:08 1h 7m 40s
Test 1/10 as many iterations to avoid taking 6 hours CI #297: Pull request #43 synchronize by wrsturgeon
November 4, 2023 19:04 4m 16s test-tenth
test-tenth
November 4, 2023 19:04 4m 16s
Test 1/10 as many iterations to avoid taking 6 hours CI #296: Pull request #43 synchronize by wrsturgeon
November 4, 2023 18:57 7m 51s test-tenth
test-tenth
November 4, 2023 18:57 7m 51s
Test 1/10 as many iterations to avoid taking 6 hours CI #295: Pull request #43 opened by wrsturgeon
November 4, 2023 18:02 3m 30s test-tenth
test-tenth
November 4, 2023 18:02 3m 30s
Remove redundant sort (#42) CI #294: Commit 3eeaf5e pushed by wrsturgeon
November 4, 2023 06:04 6h 0m 25s main
main
November 4, 2023 06:04 6h 0m 25s
Remove redundant sort CI #293: Pull request #42 synchronize by wrsturgeon
November 4, 2023 05:45 8m 36s no-sort-fixpoint-rhs
no-sort-fixpoint-rhs
November 4, 2023 05:45 8m 36s