Skip to content

Actions: evstack/ev-rs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

test: quint spec for stf Test Suite #39: Pull request #15 synchronize by tac0turtle
2m 18s marko/quint_trial
marko/quint_trial
2m 18s
test: quint spec for stf Claude Code Review #33: Pull request #15 synchronize by tac0turtle
23s marko/quint_trial
marko/quint_trial
23s
test: quint spec for stf Claude Code Review #32: Pull request #15 synchronize by tac0turtle
33s marko/quint_trial
marko/quint_trial
33s
test: quint spec for stf Test Suite #38: Pull request #15 synchronize by tac0turtle
58s marko/quint_trial
marko/quint_trial
58s
test: quint spec for stf Claude Code #83: Issue comment #15 (comment) created by coderabbitai bot
1s
1s
test: quint spec for stf Test Suite #37: Pull request #15 opened by tac0turtle
2m 46s marko/quint_trial
marko/quint_trial
2m 46s
test: quint spec for stf Claude Code Review #31: Pull request #15 opened by tac0turtle
27s marko/quint_trial
marko/quint_trial
27s
Quint formal verification for Evolve modules Claude Code #82: Issue comment #9 (comment) created by erickpintor
1s
1s
fix Test Suite #36: Commit 89ff733 pushed by tac0turtle
1m 31s main
main
1m 31s
remove extra clones Test Suite #35: Commit deb797f pushed by tac0turtle
1m 20s main
main
1m 20s
feat: add commonware Claude Code #81: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #80: Pull request #12 submitted by coderabbitai bot
1s
1s
feat: add commonware Claude Code #79: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code Review #30: Pull request #12 synchronize by tac0turtle
30s marko/commonware-creation
marko/commonware-creation
30s
feat: add commonware Test Suite #34: Pull request #12 synchronize by tac0turtle
1m 23s marko/commonware-creation
marko/commonware-creation
1m 23s
feat: add commonware Claude Code #78: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #77: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #76: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #75: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #74: Pull request #12 created by coderabbitai bot
1s
1s
feat: add commonware Claude Code #73: Pull request #12 submitted by coderabbitai bot
1s
1s
feat: add commonware Test Suite #33: Pull request #12 synchronize by tac0turtle
1m 29s marko/commonware-creation
marko/commonware-creation
1m 29s
feat: add commonware Claude Code Review #29: Pull request #12 synchronize by tac0turtle
27s marko/commonware-creation
marko/commonware-creation
27s
feat: add commonware Claude Code Review #28: Pull request #12 synchronize by tac0turtle
25s marko/commonware-creation
marko/commonware-creation
25s
feat: add commonware Test Suite #32: Pull request #12 synchronize by tac0turtle
1m 19s marko/commonware-creation
marko/commonware-creation
1m 19s