Skip to content

Actions: moves-rwth/caesar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
472 workflow runs
472 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #127 from moves-rwth/codex/fix-past-decrease Nightly release (on change to main branch) #176: Commit 18efe99 pushed by Philipp15b
32m 23s main
main
32m 23s
Merge pull request #127 from moves-rwth/codex/fix-past-decrease github pages #396: Commit 18efe99 pushed by Philipp15b
1m 41s main
main
1m 41s
Merge pull request #127 from moves-rwth/codex/fix-past-decrease Rust #556: Commit 18efe99 pushed by Philipp15b
19m 25s main
main
19m 25s
Push on main CodeQL #451: by Philipp15b
1m 42s main
main
1m 42s
Fix PAST decrease checks Rust #555: Pull request #127 synchronize by Philipp15b
20m 20s codex/fix-past-decrease
codex/fix-past-decrease
20m 20s
Fix PAST decrease checks github pages #395: Pull request #127 synchronize by Philipp15b
1m 7s codex/fix-past-decrease
codex/fix-past-decrease
1m 7s
docs: trim PAST encoding explanation Rust #554: Commit 106b927 pushed by Philipp15b
20m 33s codex/fix-past-decrease
codex/fix-past-decrease
20m 33s
PR #127 CodeQL #450: by Philipp15b
59s refs/pull/127/head
refs/pull/127/head
59s
Fix PAST decrease checks Rust #553: Pull request #127 opened by Philipp15b
20m 22s codex/fix-past-decrease
codex/fix-past-decrease
20m 22s
Fix PAST decrease checks github pages #394: Pull request #127 opened by Philipp15b
1m 23s codex/fix-past-decrease
codex/fix-past-decrease
1m 23s
PR #127 CodeQL #449: by Philipp15b
1m 2s refs/pull/127/head
refs/pull/127/head
1m 2s
past rule: split condition generation into helpers Rust #552: Commit da06fc6 pushed by Philipp15b
20m 35s codex/fix-past-decrease
codex/fix-past-decrease
20m 35s
Merge pull request #126 from moves-rwth/codex/optional-loop-terminators Nightly release (on change to main branch) #175: Commit 2a7a256 pushed by Philipp15b
40m 38s main
main
40m 38s
Push on main CodeQL #448: by Philipp15b
1m 15s main
main
1m 15s
Merge pull request #126 from moves-rwth/codex/optional-loop-terminators Rust #551: Commit 2a7a256 pushed by Philipp15b
20m 27s main
main
20m 27s
Merge pull request #126 from moves-rwth/codex/optional-loop-terminators github pages #393: Commit 2a7a256 pushed by Philipp15b
1m 37s main
main
1m 37s
Support optional terminators and mismatch diagnostics for loop rules github pages #392: Pull request #126 synchronize by Philipp15b
1m 28s codex/optional-loop-terminators
codex/optional-loop-terminators
1m 28s
Support optional terminators and mismatch diagnostics for loop rules Rust #550: Pull request #126 synchronize by Philipp15b
20m 40s codex/optional-loop-terminators
codex/optional-loop-terminators
20m 40s
PR #126 CodeQL #447: by Philipp15b
55s refs/pull/126/head
refs/pull/126/head
55s
Report loop terminator mismatches as diagnostics Rust #549: Commit 7dacfeb pushed by Philipp15b
20m 37s codex/optional-loop-terminators
codex/optional-loop-terminators
20m 37s
Support optional terminators and mismatch diagnostics for loop rules github pages #391: Pull request #126 opened by Philipp15b
1m 30s codex/optional-loop-terminators
codex/optional-loop-terminators
1m 30s
Support optional terminators and mismatch diagnostics for loop rules Rust #548: Pull request #126 opened by Philipp15b
17m 58s codex/optional-loop-terminators
codex/optional-loop-terminators
17m 58s
PR #126 CodeQL #446: by Philipp15b
1m 9s refs/pull/126/head
refs/pull/126/head
1m 9s
Support optional terminators for unrolling and omega invariants Rust #547: Commit 908e4bd pushed by Philipp15b
19m 0s codex/optional-loop-terminators
codex/optional-loop-terminators
19m 0s
Merge pull request #125 from moves-rwth/codex/add-uwlp-calculus Nightly release (on change to main branch) #174: Commit 27ae860 pushed by Philipp15b
42m 34s main
main
42m 34s