Skip to content

Actions: opencompl/xdsl-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
666 workflow runs
666 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Fix semantics for remsi and remui CI - Pyright #566: Commit 90a7273 pushed by math-fehr
March 17, 2025 22:15 43s main
main
March 17, 2025 22:15 43s
Soundness check added Code Formatting #565: Pull request #59 synchronize by Hatsunespica
March 17, 2025 19:47 17s verifier_merge
verifier_merge
March 17, 2025 19:47 17s
Soundness check added CI - Pyright #565: Pull request #59 synchronize by Hatsunespica
March 17, 2025 19:47 35s verifier_merge
verifier_merge
March 17, 2025 19:47 35s
CI - Pyright CI - Pyright #564: by Hatsunespica
March 17, 2025 19:44 34s main
main
March 17, 2025 19:44 34s
Code Formatting Code Formatting #564: by Hatsunespica
March 17, 2025 19:44 18s main
main
March 17, 2025 19:44 18s
Remove unused package and format code Code Formatting #563: Pull request #60 opened by Hatsunespica
March 17, 2025 19:43 21s fix_pr_checks
fix_pr_checks
March 17, 2025 19:43 21s
Remove unused package and format code CI - Pyright #563: Pull request #60 opened by Hatsunespica
March 17, 2025 19:43 40s fix_pr_checks
fix_pr_checks
March 17, 2025 19:43 40s
Soundness check added Code Formatting #562: Pull request #59 synchronize by Hatsunespica
March 17, 2025 19:36 18s verifier_merge
verifier_merge
March 17, 2025 19:36 18s
Soundness check added CI - Pyright #562: Pull request #59 synchronize by Hatsunespica
March 17, 2025 19:36 38s verifier_merge
verifier_merge
March 17, 2025 19:36 38s
Fix semantics for division Code Formatting #561: Commit e0c5598 pushed by math-fehr
March 17, 2025 08:29 23s main
main
March 17, 2025 08:29 23s
Fix semantics for division CI - Pyright #561: Commit e0c5598 pushed by math-fehr
March 17, 2025 08:29 32s main
main
March 17, 2025 08:29 32s
smt.declare_const is not pure Code Formatting #560: Commit c157026 pushed by math-fehr
March 17, 2025 07:05 16s main
main
March 17, 2025 07:05 16s
smt.declare_const is not pure CI - Pyright #560: Commit c157026 pushed by math-fehr
March 17, 2025 07:05 32s main
main
March 17, 2025 07:05 32s
Soundness check added CI - Pyright #559: Pull request #59 synchronize by Hatsunespica
March 15, 2025 15:44 32s verifier_merge
verifier_merge
March 15, 2025 15:44 32s
Soundness check added Code Formatting #559: Pull request #59 synchronize by Hatsunespica
March 15, 2025 15:44 16s verifier_merge
verifier_merge
March 15, 2025 15:44 16s
Soundness check added CI - Pyright #558: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:43 33s verifier_merge
verifier_merge
March 13, 2025 21:43 33s
Soundness check added Code Formatting #558: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:43 25s verifier_merge
verifier_merge
March 13, 2025 21:43 25s
Soundness check added CI - Pyright #557: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:37 33s verifier_merge
verifier_merge
March 13, 2025 21:37 33s
Soundness check added Code Formatting #557: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:37 20s verifier_merge
verifier_merge
March 13, 2025 21:37 20s
Soundness check added Code Formatting #556: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:35 18s verifier_merge
verifier_merge
March 13, 2025 21:35 18s
Soundness check added CI - Pyright #556: Pull request #59 synchronize by Hatsunespica
March 13, 2025 21:35 33s verifier_merge
verifier_merge
March 13, 2025 21:35 33s