Skip to content

Actions: opencompl/xdsl-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
662 workflow runs
662 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove outdated verifier client (#63) Code Formatting #578: Commit 656620f pushed by Hatsunespica
March 24, 2025 18:24 23s main
main
March 24, 2025 18:24 23s
Remove outdated verifier client (#63) CI - Pyright #578: Commit 656620f pushed by Hatsunespica
March 24, 2025 18:24 36s main
main
March 24, 2025 18:24 36s
Remove outdated verifier client Code Formatting #577: Pull request #63 opened by Hatsunespica
March 24, 2025 18:16 24s remove_useless_transfer
remove_useless_transfer
March 24, 2025 18:16 24s
Remove outdated verifier client CI - Pyright #577: Pull request #63 opened by Hatsunespica
March 24, 2025 18:16 35s remove_useless_transfer
remove_useless_transfer
March 24, 2025 18:16 35s
Fix demanded bits (#62) Code Formatting #576: Commit 7ec12c4 pushed by Hatsunespica
March 19, 2025 06:14 30s main
main
March 19, 2025 06:14 30s
Fix demanded bits (#62) CI - Pyright #576: Commit 7ec12c4 pushed by Hatsunespica
March 19, 2025 06:14 31s main
main
March 19, 2025 06:14 31s
Fix demanded bits CI - Pyright #575: Pull request #62 synchronize by Hatsunespica
March 19, 2025 06:13 34s demanded_bits
demanded_bits
March 19, 2025 06:13 34s
Fix demanded bits Code Formatting #575: Pull request #62 synchronize by Hatsunespica
March 19, 2025 06:13 17s demanded_bits
demanded_bits
March 19, 2025 06:13 17s
Fix demanded bits CI - Pyright #574: Pull request #62 opened by Hatsunespica
March 19, 2025 06:11 35s demanded_bits
demanded_bits
March 19, 2025 06:11 35s
Fix demanded bits Code Formatting #574: Pull request #62 opened by Hatsunespica
March 19, 2025 06:11 22s demanded_bits
demanded_bits
March 19, 2025 06:11 22s
Fix pyright (#61) Code Formatting #573: Commit 8740949 pushed by Hatsunespica
March 19, 2025 04:04 24s main
main
March 19, 2025 04:04 24s
Fix pyright (#61) CI - Pyright #573: Commit 8740949 pushed by Hatsunespica
March 19, 2025 04:04 36s main
main
March 19, 2025 04:04 36s
Fix pyright Code Formatting #572: Pull request #61 synchronize by Hatsunespica
March 19, 2025 04:02 18s fix_pyright
fix_pyright
March 19, 2025 04:02 18s
Fix pyright CI - Pyright #572: Pull request #61 synchronize by Hatsunespica
March 19, 2025 04:02 37s fix_pyright
fix_pyright
March 19, 2025 04:02 37s
Fix pyright CI - Pyright #571: Pull request #61 synchronize by Hatsunespica
March 19, 2025 04:00 34s fix_pyright
fix_pyright
March 19, 2025 04:00 34s
Fix pyright Code Formatting #571: Pull request #61 synchronize by Hatsunespica
March 19, 2025 04:00 18s fix_pyright
fix_pyright
March 19, 2025 04:00 18s
Fix pyright CI - Pyright #570: Pull request #61 opened by Hatsunespica
March 19, 2025 03:56 30s fix_pyright
fix_pyright
March 19, 2025 03:56 30s
Fix pyright Code Formatting #570: Pull request #61 opened by Hatsunespica
March 19, 2025 03:56 18s fix_pyright
fix_pyright
March 19, 2025 03:56 18s
add precision check Code Formatting #569: Commit c2dbc30 pushed by Hatsunespica
March 19, 2025 03:47 22s main
main
March 19, 2025 03:47 22s
add precision check CI - Pyright #569: Commit c2dbc30 pushed by Hatsunespica
March 19, 2025 03:47 38s main
main
March 19, 2025 03:47 38s
Fix kb soundness check Code Formatting #568: Commit f88e921 pushed by Hatsunespica
March 18, 2025 15:39 19s main
main
March 18, 2025 15:39 19s
Fix kb soundness check CI - Pyright #568: Commit f88e921 pushed by Hatsunespica
March 18, 2025 15:39 41s main
main
March 18, 2025 15:39 41s
Soundness check added (#59) CI - Pyright #567: Commit 33874dd pushed by math-fehr
March 17, 2025 22:16 31s main
main
March 17, 2025 22:16 31s
Soundness check added (#59) Code Formatting #567: Commit 33874dd pushed by math-fehr
March 17, 2025 22:16 16s main
main
March 17, 2025 22:16 16s
Fix semantics for remsi and remui Code Formatting #566: Commit 90a7273 pushed by math-fehr
March 17, 2025 22:15 31s main
main
March 17, 2025 22:15 31s