Skip to content

Actions: sequencer/zaozi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
325 workflow runs
325 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add getType API to Attribute
Zaozi JMH Benchmark #132: Pull request #25 opened by unlsycn
March 29, 2025 06:48 31m 31s unlsycn:type-api
March 29, 2025 06:48 31m 31s
Add getType API to Attribute
Zaozi Test #183: Pull request #25 opened by unlsycn
March 29, 2025 06:48 29m 40s unlsycn:type-api
March 29, 2025 06:48 29m 40s
CIRCT Bump
CIRCT Bump #63: Scheduled
March 28, 2025 21:38 28m 22s master
March 28, 2025 21:38 28m 22s
CIRCT Bump
CIRCT Bump #62: Scheduled
March 27, 2025 21:38 28m 11s master
March 27, 2025 21:38 28m 11s
fix(omlib): match bool before integer
Zaozi JMH Benchmark #131: Pull request #24 synchronize by unlsycn
March 27, 2025 16:59 31m 22s unlsycn:omlib-bool-fix
March 27, 2025 16:59 31m 22s
fix(omlib): match bool before integer
Zaozi Test #182: Pull request #24 synchronize by unlsycn
March 27, 2025 16:59 30m 20s unlsycn:omlib-bool-fix
March 27, 2025 16:59 30m 20s
fix(omlib): match bool before integer
Zaozi JMH Benchmark #130: Pull request #24 synchronize by unlsycn
March 27, 2025 16:56 3m 16s unlsycn:omlib-bool-fix
March 27, 2025 16:56 3m 16s
fix(omlib): match bool before integer
Zaozi Test #181: Pull request #24 synchronize by unlsycn
March 27, 2025 16:56 3m 17s unlsycn:omlib-bool-fix
March 27, 2025 16:56 3m 17s
fix(omlib): match bool before integer
Zaozi Test #180: Pull request #24 opened by unlsycn
March 27, 2025 16:55 1m 57s unlsycn:omlib-bool-fix
March 27, 2025 16:55 1m 57s
fix(omlib): match bool before integer
Zaozi JMH Benchmark #129: Pull request #24 opened by unlsycn
March 27, 2025 16:55 2m 44s unlsycn:omlib-bool-fix
March 27, 2025 16:55 2m 44s
CIRCT Bump
CIRCT Bump #61: Scheduled
March 26, 2025 21:39 55m 34s master
March 26, 2025 21:39 55m 34s
CIRCT Bump
CIRCT Bump #60: Scheduled
March 25, 2025 21:38 55m 24s master
March 25, 2025 21:38 55m 24s
CIRCT Bump
CIRCT Bump #59: Scheduled
March 24, 2025 21:38 56m 25s master
March 24, 2025 21:38 56m 25s
[smtlib] use smtValue to emit declare-const
Zaozi Test #179: Pull request #23 synchronize by Clo91eaf
March 24, 2025 00:39 30m 48s Clo91eaf:fix-smtlib
March 24, 2025 00:39 30m 48s
[smtlib] use smtValue to emit declare-const
Zaozi JMH Benchmark #128: Pull request #23 synchronize by Clo91eaf
March 24, 2025 00:39 31m 6s Clo91eaf:fix-smtlib
March 24, 2025 00:39 31m 6s
CIRCT Bump
CIRCT Bump #58: Scheduled
March 23, 2025 21:37 55m 28s master
March 23, 2025 21:37 55m 28s
[smtlib] use smtValue to emit declare-const
Zaozi JMH Benchmark #127: Pull request #23 opened by Clo91eaf
March 23, 2025 14:02 30m 50s Clo91eaf:fix-smtlib
March 23, 2025 14:02 30m 50s
[smtlib] use smtValue to emit declare-const
Zaozi Test #178: Pull request #23 opened by Clo91eaf
March 23, 2025 14:02 29m 56s Clo91eaf:fix-smtlib
March 23, 2025 14:02 29m 56s
CIRCT Bump
CIRCT Bump #57: Scheduled
March 22, 2025 21:37 55m 27s master
March 22, 2025 21:37 55m 27s
CIRCT Bump
CIRCT Bump #56: Scheduled
March 21, 2025 21:38 55m 36s master
March 21, 2025 21:38 55m 36s
Add upickle writer for OMValue
Zaozi JMH Benchmark #126: Pull request #22 opened by unlsycn
March 21, 2025 08:30 30m 11s unlsycn:upickle
March 21, 2025 08:30 30m 11s
Add upickle writer for OMValue
Zaozi Test #177: Pull request #22 opened by unlsycn
March 21, 2025 08:30 29m 20s unlsycn:upickle
March 21, 2025 08:30 29m 20s
CIRCT Bump
CIRCT Bump #55: Scheduled
March 20, 2025 21:38 55m 52s master
March 20, 2025 21:38 55m 52s
Add publish flow
Zaozi JMH Benchmark #125: Pull request #21 synchronize by unlsycn
March 20, 2025 07:48 30m 55s unlsycn:publish
March 20, 2025 07:48 30m 55s
Add publish flow
Zaozi Test #176: Pull request #21 synchronize by unlsycn
March 20, 2025 07:48 29m 34s unlsycn:publish
March 20, 2025 07:48 29m 34s