Skip to content

Actions: AnyDSL/MimIR

Actions

linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
508 workflow runs
508 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Infer linux #3342: Pull request #284 synchronize by leissa
February 12, 2025 20:13 10m 18s infer
infer
February 12, 2025 20:13 10m 18s
small bug fix linux #3341: Commit b271063 pushed by leissa
February 12, 2025 20:13 9m 45s infer
infer
February 12, 2025 20:13 9m 45s
Infer linux #3340: Pull request #284 synchronize by leissa
February 12, 2025 19:49 9m 23s infer
infer
February 12, 2025 19:49 9m 23s
cleanup linux #3339: Commit 64c7f78 pushed by leissa
February 12, 2025 19:49 10m 7s infer
infer
February 12, 2025 19:49 10m 7s
Infer linux #3338: Pull request #284 synchronize by leissa
February 12, 2025 19:39 9m 31s infer
infer
February 12, 2025 19:39 9m 31s
cleanup linux #3337: Commit 4aefa61 pushed by leissa
February 12, 2025 19:39 9m 34s infer
infer
February 12, 2025 19:39 9m 34s
Infer linux #3336: Pull request #284 synchronize by leissa
February 12, 2025 18:27 16m 14s infer
infer
February 12, 2025 18:27 16m 14s
remove code duplication linux #3335: Commit 4c657d9 pushed by leissa
February 12, 2025 18:26 16m 2s infer
infer
February 12, 2025 18:26 16m 2s
Infer linux #3334: Pull request #284 synchronize by leissa
February 12, 2025 18:21 10m 1s infer
infer
February 12, 2025 18:21 10m 1s
cleanup linux #3333: Commit 65d791d pushed by leissa
February 12, 2025 18:21 10m 19s infer
infer
February 12, 2025 18:21 10m 19s
Infer linux #3332: Pull request #284 synchronize by leissa
February 12, 2025 18:13 10m 8s infer
infer
February 12, 2025 18:13 10m 8s
cleanup linux #3331: Commit 7e7dd96 pushed by leissa
February 12, 2025 18:13 10m 13s infer
infer
February 12, 2025 18:13 10m 13s
Infer linux #3330: Pull request #284 synchronize by leissa
February 12, 2025 17:01 16m 33s infer
infer
February 12, 2025 17:01 16m 33s
cleanup linux #3329: Commit 5654a38 pushed by leissa
February 12, 2025 17:01 16m 5s infer
infer
February 12, 2025 17:01 16m 5s
Infer linux #3328: Pull request #284 synchronize by leissa
February 12, 2025 16:48 9m 37s infer
infer
February 12, 2025 16:48 9m 37s
bug fix linux #3327: Commit 9bd036c pushed by leissa
February 12, 2025 16:48 11m 49s infer
infer
February 12, 2025 16:48 11m 49s
Infer linux #3326: Pull request #284 synchronize by leissa
February 12, 2025 15:41 16m 41s infer
infer
February 12, 2025 15:41 16m 41s
zonking now only happens locally till next mut linux #3325: Commit b40c59b pushed by leissa
February 12, 2025 15:41 17m 31s infer
infer
February 12, 2025 15:41 17m 31s
Infer linux #3324: Pull request #284 synchronize by leissa
February 12, 2025 15:06 16m 57s infer
infer
February 12, 2025 15:06 16m 57s
cleanup linux #3323: Commit 11c9ce8 pushed by leissa
February 12, 2025 15:06 16m 28s infer
infer
February 12, 2025 15:06 16m 28s
Infer linux #3322: Pull request #284 synchronize by leissa
February 12, 2025 15:04 16m 15s infer
infer
February 12, 2025 15:04 16m 15s
cleanup linux #3321: Commit 8abd518 pushed by leissa
February 12, 2025 15:02 16m 14s infer
infer
February 12, 2025 15:02 16m 14s
Infer linux #3320: Pull request #284 synchronize by leissa
February 11, 2025 10:30 18m 24s infer
infer
February 11, 2025 10:30 18m 24s
World: make helpers private linux #3319: Commit 1112786 pushed by leissa
February 11, 2025 10:30 17m 19s infer
infer
February 11, 2025 10:30 17m 19s
Infer linux #3318: Pull request #284 synchronize by leissa
February 10, 2025 22:56 18m 3s infer
infer
February 10, 2025 22:56 18m 3s