Skip to content

Actions: awslabs/AutoCorrode

Actions

HTML doc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cd.yml
181 workflow runs
181 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
Misc: equal_instance plugin, and make the generated constants exportable HTML doc #191: Commit ba31261 pushed by ike-mulder-aws
20s main
main
20s
AutoCorrode: Add small helper lemmas for magic wand and WP HTML doc #190: Commit b011dea pushed by ike-mulder-aws
16m 48s main
main
16m 48s
Micro_Rust_Std_Lib: Remove StdLib_Exception HTML doc #189: Commit 0a3ef42 pushed by ike-mulder-aws
17m 40s main
main
17m 40s
I/P: Disable ip-test CI job temporarily HTML doc #188: Commit d36802d pushed by ike-mulder-aws
17m 51s main
main
17m 51s
Crush: Parametrizable MePo premise filter, split into a standalone core HTML doc #187: Commit da7b267 pushed by hanno-becker
18m 34s main
main
18m 34s
ic2: preserve failed commands in cancel-via-edit, fix lost diagnostics HTML doc #186: Commit 26efebf pushed by hanno-becker
15m 25s main
main
15m 25s
ic2: Drive partial check via a bounded visible perspective HTML doc #185: Commit 053853b pushed by hanno-becker
11m 0s main
main
11m 0s
Make ic2 checks submit-only HTML doc #184: Commit 8bbe7eb pushed by hanno-becker
16m 50s main
main
16m 50s
Preserve IC2 state across theory edits HTML doc #183: Commit e0b0774 pushed by hanno-becker
16m 45s main
main
16m 45s
ic2: server status — prominent readiness state; ready == activity HTML doc #182: Commit 1f3589c pushed by hanno-becker
16m 54s main
main
16m 54s
ic2: server status shows cwd, start time, last activity; sort by last HTML doc #181: Commit 4802221 pushed by hanno-becker
16m 52s main
main
16m 52s
ic2: order progress by last-updated, default 20 bars, stable display HTML doc #180: Commit 609de19 pushed by hanno-becker
14m 19s main
main
14m 19s
I/R: test_repl.py: pass --port/--token in equal-sign form to cli HTML doc #179: Commit b009fff pushed by hanno-becker
16m 0s main
main
16m 0s
Add proof shelving infrastructure (Shelver.thy + shelver.ML) HTML doc #178: Commit 3def502 pushed by ike-mulder-aws
14m 6s main
main
14m 6s
ic2: headless PIDE daemon + client (check, query, cancel/resume, I/R,… HTML doc #177: Commit 63ce159 pushed by hanno-becker
16m 14s main
main
16m 14s
Byte_Level_Encoding fix: avoid duplicate simp warning in define_byte_… HTML doc #176: Commit e9e045a pushed by hanno-becker
17m 20s main
main
17m 20s
Tutorial: Minor improvements HTML doc #175: Commit ddf651e pushed by hanno-becker
17m 27s main
main
17m 27s
uRust: table-backed notation command and qualified-path support HTML doc #174: Commit 4dac656 pushed by hanno-becker
24m 42s main
main
24m 42s
[I/Q] Extract a generic MCP server + self-sufficient I/R bring-up HTML doc #173: Commit 60b7647 pushed by hanno-becker
16m 6s main
main
16m 6s
Make instructions for first exercise clearer HTML doc #172: Commit be306bb pushed by nchong-at-aws
17m 0s main
main
17m 0s
Add tutorial exercises HTML doc #171: Commit e234add pushed by nchong-at-aws
21m 11s main
main
21m 11s
[I/Q] get_diagnostics: add wait_until_processed + file_summary; drop … HTML doc #170: Commit 286fdb4 pushed by hanno-becker
19m 0s main
main
19m 0s
[I/Q] write_file: surface real status to the caller HTML doc #169: Commit ed62a28 pushed by hanno-becker
13m 1s main
main
13m 1s
Revert addition of & raw mut and & raw const syntax HTML doc #168: Commit 180d6c1 pushed by hanno-becker
25m 15s main
main
25m 15s
enum: Add Enum_Theory session with enum command HTML doc #167: Commit a2a2eb1 pushed by hanno-becker
15m 44s main
main
15m 44s