Skip to content

Actions: danwt/specl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
189 workflow runs
189 workflow runs

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
claude: refactor: remove dead line_starts field in LSP, use tracing i… CI #189: Commit 8db9ede pushed by danwt
25m 53s main
main
25m 53s
claude: fix(mc): improve collapse compression code quality CI #188: Commit 7c8f12f pushed by danwt
1h 0m 49s main
main
1h 0m 49s
claude: style(specl): fix clippy warnings (map_or simplification, Cop… CI #187: Commit 7f38ea8 pushed by danwt
56m 11s main
main
56m 11s
claude: fix(ir): improve analysis accuracy and state space estimation CI #186: Commit a4e5d78 pushed by danwt
49m 10s main
main
49m 10s
claude: refactor(cli): improve code structure and reduce duplication CI #185: Commit bc9f8c0 pushed by danwt
47m 25s main
main
47m 25s
claude: fix(tla): improve error handling and edge case robustness CI #184: Commit 2a6f3f1 pushed by danwt
38m 39s main
main
38m 39s
claude: fix(symbolic): improve error handling and Z3 failure messages CI #183: Commit ced868d pushed by danwt
42m 39s main
main
42m 39s
claude: test(eval): add regression specl files for overflow and bound… CI #182: Commit b9c903a pushed by danwt
43m 26s main
main
43m 26s
claude: style(specl): apply cargo fmt CI #181: Commit 5908e54 pushed by danwt
43m 29s main
main
43m 29s
docs: clarify nondeterministic action parameters and quantifiers CI #180: Commit adb4846 pushed by danwt
55m 26s main
main
55m 26s
chore: update .gitignore CI #179: Commit 622a707 pushed by danwt
42m 2s main
main
42m 2s
chore(release): v3.1.1 CI #178: Commit 0d770a9 pushed by danwt
42m 20s main
main
42m 20s
claude: fix(cli): use .. rest pattern in help arm to fix Rust 1.94 cl… CI #177: Commit 0bab8c7 pushed by danwt
50m 1s main
main
50m 1s
chore(release): v3.1.0 CI #176: Commit 6d58e16 pushed by danwt
44m 3s main
main
44m 3s
chore: update files CI #175: Commit 62dd022 pushed by danwt
43m 43s main
main
43m 43s
claude: test(soundness): add POR and symmetry correctness proptest CI #174: Commit 5dee2b2 pushed by danwt
43m 52s main
main
43m 52s
perf: tighten release profile, optimise state handling, and add perfo… CI #173: Commit deb1d83 pushed by danwt
43m 47s main
main
43m 47s
chore(benchmarks): delete Counters benchmark config CI #172: Commit 2a9624b pushed by danwt
58m 42s main
main
58m 42s
feat: add specl/crates/ CI #171: Commit cc5283c pushed by danwt
1h 10m 54s main
main
1h 10m 54s
feat: add specl/crates/ CI #170: Commit 255cb47 pushed by danwt
47m 51s main
main
47m 51s
claude: fix(release): drop macos-13 x86_64 (deprecated runner) CI #169: Commit 89d5a47 pushed by danwt
43m 55s main
main
43m 55s
claude: fix(release): use native builds per architecture instead of c… CI #168: Commit 71389cf pushed by danwt
42m 16s main
main
42m 16s
claude: fix(ci): increase soundness timeout, drop cross for linux builds CI #167: Commit d3d44f3 pushed by danwt
56m 52s main
main
56m 52s
chore(release): v3.0.1 CI #166: Commit f284029 pushed by danwt
30m 36s main
main
30m 36s
chore(release): v3.0.1 CI #165: Commit 9dcf713 pushed by danwt
30m 36s main
main
30m 36s