Skip to content

Actions: AnyDSL/MimIR

linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
656 workflow runs
656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

cleanup parsing ptrns:
linux #3263: Pull request #281 synchronize by leissa
November 2, 2024 19:49 7m 23s feature/ptrn
November 2, 2024 19:49 7m 23s
parser: move special handling of axioms from ptrn to let
linux #3262: Commit 81121d8 pushed by leissa
November 2, 2024 19:48 7m 27s feature/ptrn
November 2, 2024 19:48 7m 27s
cleanup parsing ptrns:
linux #3261: Pull request #281 synchronize by leissa
November 2, 2024 00:59 8m 7s feature/ptrn
November 2, 2024 00:59 8m 7s
use proper alias pattern instead of [...]::id
linux #3260: Commit 8df09f8 pushed by leissa
November 2, 2024 00:59 9m 16s feature/ptrn
November 2, 2024 00:59 9m 16s
cleanup parsing ptrns:
linux #3259: Pull request #281 synchronize by leissa
November 1, 2024 18:55 8m 1s feature/ptrn
November 1, 2024 18:55 8m 1s
removed backtick
linux #3258: Commit 8c5b3f3 pushed by leissa
November 1, 2024 18:55 8m 47s feature/ptrn
November 1, 2024 18:55 8m 47s
cleanup parsing ptrns:
linux #3257: Pull request #281 opened by leissa
November 1, 2024 02:08 7m 58s feature/ptrn
November 1, 2024 02:08 7m 58s
cleanup parsing ptrns:
linux #3256: Commit e702361 pushed by leissa
November 1, 2024 02:08 11m 42s feature/ptrn
November 1, 2024 02:08 11m 42s
indentation
linux #3255: Commit ccfa537 pushed by leissa
November 1, 2024 01:00 11m 12s feature/ptrn
November 1, 2024 01:00 11m 12s
indentation
linux #3254: Commit ccfa537 pushed by leissa
November 1, 2024 00:45 18m 37s master
November 1, 2024 00:45 18m 37s
Merge pull request #280 from AnyDSL/refactor/mixin
linux #3253: Commit 10dce8e pushed by leissa
October 21, 2024 22:28 13m 50s master
October 21, 2024 22:28 13m 50s
Refactor/mixin
linux #3252: Pull request #280 synchronize by leissa
October 21, 2024 22:03 13m 39s refactor/mixin
October 21, 2024 22:03 13m 39s
fe: bug fix bump
linux #3251: Commit 678c714 pushed by leissa
October 21, 2024 22:03 13m 28s refactor/mixin
October 21, 2024 22:03 13m 28s
Refactor/mixin
linux #3250: Pull request #280 synchronize by leissa
October 21, 2024 21:44 10m 39s refactor/mixin
October 21, 2024 21:44 10m 39s
missing using fe::operator!=
linux #3249: Commit dca5ceb pushed by leissa
October 21, 2024 21:44 11m 28s refactor/mixin
October 21, 2024 21:44 11m 28s
Refactor/mixin
linux #3248: Pull request #280 synchronize by leissa
October 21, 2024 21:28 6m 15s refactor/mixin
October 21, 2024 21:28 6m 15s
fe: bump
linux #3247: Commit 80792e1 pushed by leissa
October 21, 2024 21:28 6m 22s refactor/mixin
October 21, 2024 21:28 6m 22s
Refactor/mixin
linux #3246: Pull request #280 synchronize by leissa
October 21, 2024 21:20 18s refactor/mixin
October 21, 2024 21:20 18s
fe: version bump for enum
linux #3245: Commit 78957e6 pushed by leissa
October 21, 2024 21:20 26s refactor/mixin
October 21, 2024 21:20 26s
Refactor/mixin
linux #3244: Pull request #280 synchronize by leissa
October 21, 2024 20:17 13m 46s refactor/mixin
October 21, 2024 20:17 13m 46s
Setters: remove unsafe cast to (Def*)
linux #3243: Commit 17c32e5 pushed by leissa
October 21, 2024 20:17 14m 16s refactor/mixin
October 21, 2024 20:17 14m 16s
Refactor/mixin
linux #3242: Pull request #280 opened by leissa
October 21, 2024 00:24 13m 37s refactor/mixin
October 21, 2024 00:24 13m 37s
remove MIM_ENUM_OPERATORS macro magic in favor of fe::BitEnum
linux #3241: Commit 1850412 pushed by leissa
October 21, 2024 00:16 13m 35s refactor/mixin
October 21, 2024 00:16 13m 35s
removed Macro magic
linux #3240: Commit 808946b pushed by leissa
October 20, 2024 22:49 13m 42s refactor/mixin
October 20, 2024 22:49 13m 42s
Merge pull request #279 from AnyDSL/refactor/syntax
linux #3239: Commit 859ab6f pushed by leissa
October 20, 2024 20:46 13m 16s master
October 20, 2024 20:46 13m 16s