Skip to content

Actions: GaloisInc/sail

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formatting.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix toHexUpper so as not to capitalize the 'x' Check formatting #7: Commit f0fdc69 pushed by benjaminselfridge
February 24, 2025 19:01 40s feature/lean_hex_str
feature/lean_hex_str
February 24, 2025 19:01 40s
Fix capitalized 0X -> 0x for toHexUpper Check formatting #6: Commit 963fc89 pushed by benjaminselfridge
February 24, 2025 17:43 48s feature/lean_hex_str
feature/lean_hex_str
February 24, 2025 17:43 48s
Add handling of negative integers for hex_str and hex_str_upper Check formatting #5: Commit 124e78c pushed by benjaminselfridge
February 22, 2025 01:37 50s feature/lean_hex_str
feature/lean_hex_str
February 22, 2025 01:37 50s
Add lean support for hex_str_upper Check formatting #4: Commit d25e49a pushed by benjaminselfridge
February 20, 2025 23:21 6m 30s feature/lean_hex_str
feature/lean_hex_str
February 20, 2025 23:21 6m 30s
Add remaining functions required to get bitfield.sail test passing Check formatting #3: Commit f7bbce0 pushed by benjaminselfridge
February 13, 2025 21:20 7m 30s feature/lean_external_misc
feature/lean_external_misc
February 13, 2025 21:20 7m 30s
Expected outputs Check formatting #2: Commit 69b3f3f pushed by jprider63
February 13, 2025 20:30 5m 12s feature/disable_match_bv
feature/disable_match_bv
February 13, 2025 20:30 5m 12s
Merge remote-tracking branch 'upstream/sail2' into feature/disable_ma… Check formatting #1: Commit 4390915 pushed by jprider63
February 13, 2025 20:28 7m 43s feature/disable_match_bv
feature/disable_match_bv
February 13, 2025 20:28 7m 43s