Skip to content

Actions: jonfowler/mirin-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
planning: slice_guards phases 0-4 complete; Vec guard design note CI #15: Commit eabd534 pushed by jonfowler
2m 54s master
master
2m 54s
S7: harden the inline splice (recursion check, defaults, depth backstop) CI #14: Commit dd2df22 pushed by jonfowler
3m 3s master
master
3m 3s
grammar: fix stale corpus tree for type A impl param CI #13: Commit 3901373 pushed by jonfowler
3m 30s master
master
3m 30s
reject a const-fn call in a type position cleanly (no backend panic) CI #12: Commit 0ef27b1 pushed by jonfowler
3m 46s master
master
3m 46s
const fn in localparam position: in-module SV functions CI #11: Commit 817eb16 pushed by jonfowler
2m 6s master
master
2m 6s
proposals/const_net_duality: all @const leaves are constants (not nets) CI #10: Commit 7f3d5ba pushed by jonfowler
3m 10s master
master
3m 10s
expr_value: represent aggregates, never silently scalarise to 0 CI #9: Commit 28c0b6a pushed by jonfowler
3m 1s master
master
3m 1s
reserved words: reject Mirin keywords as binding names (hard error) CI #8: Commit 42c09f8 pushed by jonfowler
2m 58s master
master
2m 58s
operators O1: complete comparison set (\!= <= > >=) CI #7: Commit 4bbebd4 pushed by jonfowler
1m 41s master
master
1m 41s
Named return types / operators CI #6: Pull request #4 opened by jonfowler
2m 12s tuples
tuples
2m 12s
Merge pull request #3 from jonfowler/tuples CI #5: Commit 6dd8f89 pushed by jonfowler
3m 15s master
master
3m 15s
Tuples CI #4: Pull request #3 opened by jonfowler
2m 44s tuples
tuples
2m 44s
gitattributes: highlight .mrn as Rust on GitHub CI #3: Commit a544337 pushed by jonfowler
2m 57s master
master
2m 57s
Merge pull request #2 from jonfowler/polar-wip CI #2: Commit 771ed41 pushed by jonfowler
2m 55s master
master
2m 55s
Polar wip CI #1: Pull request #2 opened by jonfowler
2m 52s polar-wip
polar-wip
2m 52s