Skip to content

Actions: specula-org/SysMoBench

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 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
ci: run all deterministic tests Tests #13: Commit 4751133 pushed by Qian-Cheng-nju
1m 19s main
main
1m 19s
JS-SAM: cross-platform sandbox, Opus 4.8, and real Phase-3 spin traces Tests #12: Pull request #21 synchronize by Qian-Cheng-nju
58s jdubray:js-sam-crossplatform-phase3
jdubray:js-sam-crossplatform-phase3
58s
JS-SAM: cross-platform sandbox, Opus 4.8, and real Phase-3 spin traces Tests #11: Pull request #21 synchronize by jdubray
58s jdubray:js-sam-crossplatform-phase3
jdubray:js-sam-crossplatform-phase3
58s
JS-SAM: cross-platform sandbox, Opus 4.8, and real Phase-3 spin traces Tests #10: Pull request #21 opened by jdubray
52s jdubray:js-sam-crossplatform-phase3
jdubray:js-sam-crossplatform-phase3
52s
models.yaml: correct output max_tokens caps; drop deprecated native d… Tests #9: Commit c59bcbb pushed by Qian-Cheng-nju
54s main
main
54s
js_sam: run the Node helper in a locked-down Docker sandbox Tests #8: Commit a1cb156 pushed by Qian-Cheng-nju
57s main
main
57s
test: fix two stale litellm adapter tests (#20) Tests #6: Commit 62196e4 pushed by Qian-Cheng-nju
53s main
main
53s
test: fix two stale litellm adapter tests Tests #5: Pull request #20 opened by Qian-Cheng-nju
53s fix/stale-litellm-adapter-tests
fix/stale-litellm-adapter-tests
53s
Graph Update: pip in /. #1430881946 Dependency Graph #5: by dependabot Bot
48s main
main
48s
ci: run pytest on push and PR (#19) Tests #4: Commit 5db32f3 pushed by Qian-Cheng-nju
58s main
main
58s
ci: run pytest on push and PR Tests #3: Pull request #19 synchronize by Qian-Cheng-nju
48s b-erdem:ci/pytest-workflow
b-erdem:ci/pytest-workflow
48s
ci: run pytest on push and PR Tests #2: Pull request #19 synchronize by Qian-Cheng-nju
1m 0s b-erdem:ci/pytest-workflow
b-erdem:ci/pytest-workflow
1m 0s
ci: run pytest on push and PR Tests #1: Pull request #19 opened by b-erdem
52s b-erdem:ci/pytest-workflow
b-erdem:ci/pytest-workflow
52s
data: regenerate leaderboard CSV/JSON with tv_* field names Publish Docker image #1: Commit a19640e pushed by Qian-Cheng-nju
2m 48s v1.0.0
v1.0.0
2m 48s
Graph Update: pip in /. #1345757607 Dependency Graph #4: by dependabot Bot
48s main
main
48s
Graph Update: pip in /. #1345728088 Dependency Graph #3: by dependabot Bot
49s main
main
49s
Graph Update: pip in /. #1340421216 Dependency Graph #2: by dependabot Bot
50s main
main
50s
Graph Update: go_modules in /tla_eval/core/trace_generation/dqueue, /tla_eval/core/trace_generation/etcd, /tla_eval/core/trace_generation/locksvc, /tla_eval/core/trace_generation/raftkvs #1337641360 Dependency Graph #1: by dependabot Bot
40s main
main
40s