Skip to content

Actions: aya-prover/aya-dev

Actions

commit message

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commit-check.yaml
335 workflow runs
335 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Classes progress commit message #261: Pull request #1115 opened by ice1000
June 19, 2024 03:30 11s classes
classes
June 19, 2024 03:30 11s
Class progress commit message #260: Pull request #1114 synchronize by ice1000
June 15, 2024 17:01 14s clazz
clazz
June 15, 2024 17:01 14s
Class progress commit message #259: Pull request #1114 opened by ice1000
June 15, 2024 16:46 12s clazz
clazz
June 15, 2024 16:46 12s
Class call code commit message #258: Pull request #1113 synchronize by ice1000
June 9, 2024 19:15 11s clazz
clazz
June 9, 2024 19:15 11s
Class call code commit message #257: Pull request #1113 synchronize by ice1000
June 9, 2024 18:54 14s clazz
clazz
June 9, 2024 18:54 14s
Class call code commit message #256: Pull request #1113 opened by ice1000
June 9, 2024 18:26 13s clazz
clazz
June 9, 2024 18:26 13s
Class resolve code commit message #255: Pull request #1112 opened by ice1000
June 9, 2024 17:15 13s class-resolve
class-resolve
June 9, 2024 17:15 13s
Release v0.33 commit message #254: Pull request #1111 synchronize by ice1000
June 9, 2024 07:09 12s release
release
June 9, 2024 07:09 12s
Release v0.33 commit message #253: Pull request #1111 opened by ice1000
June 9, 2024 07:05 14s release
release
June 9, 2024 07:05 14s
Cleverly create bind amount, not calculate them upon jIT commit message #252: Pull request #1110 opened by ice1000
June 9, 2024 06:52 11s exciting
exciting
June 9, 2024 06:52 11s
Some bug fixes commit message #251: Pull request #1109 synchronize by ice1000
June 9, 2024 06:20 10s exciting
exciting
June 9, 2024 06:20 10s
Some bug fixes commit message #250: Pull request #1109 opened by ice1000
June 9, 2024 06:12 15s exciting
exciting
June 9, 2024 06:12 15s
Refactor the design of Decl, redo TeleDecl commit message #249: Pull request #1108 synchronize by ice1000
June 9, 2024 05:59 11s exciting
exciting
June 9, 2024 05:59 11s
Refactor the design of Decl, redo TeleDecl commit message #248: Pull request #1108 opened by ice1000
June 9, 2024 05:53 11s exciting
exciting
June 9, 2024 05:53 11s
Increase coverage, more code on classes commit message #247: Pull request #1107 synchronize by ice1000
June 9, 2024 05:16 14s save
save
June 9, 2024 05:16 14s
Increase coverage, more code on classes commit message #246: Pull request #1107 opened by ice1000
June 9, 2024 05:12 10s save
save
June 9, 2024 05:12 10s
Initial class related code commit message #245: Pull request #1106 synchronize by ice1000
June 9, 2024 05:01 13s clazz
clazz
June 9, 2024 05:01 13s
Initial class related code commit message #244: Pull request #1106 synchronize by ice1000
June 9, 2024 04:49 11s clazz
clazz
June 9, 2024 04:49 11s
Initial class related code commit message #243: Pull request #1106 synchronize by ice1000
June 9, 2024 04:14 11s clazz
clazz
June 9, 2024 04:14 11s
Initial class related code commit message #242: Pull request #1106 synchronize by ice1000
June 9, 2024 03:46 10s clazz
clazz
June 9, 2024 03:46 10s
Initial class related code commit message #241: Pull request #1106 opened by ice1000
June 9, 2024 03:45 12s clazz
clazz
June 9, 2024 03:45 12s
What am I doing commit message #240: Pull request #1105 opened by ice1000
June 8, 2024 00:38 15s misc
misc
June 8, 2024 00:38 15s
Fix module name serialization commit message #239: Pull request #1104 synchronize by ice1000
June 7, 2024 21:26 13s jit
jit
June 7, 2024 21:26 13s
Fix module name serialization commit message #238: Pull request #1104 opened by ice1000
June 7, 2024 21:24 12s jit
jit
June 7, 2024 21:24 12s
Quotient and fmset ++-assoc commit message #237: Pull request #1103 opened by ice1000
June 7, 2024 19:25 11s bug
bug
June 7, 2024 19:25 11s