Skip to content

Actions: strata-org/Strata

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
SMT encoder: opt-in define-fun-rec for recursive functions Build #11191: Pull request #1478 synchronize by kondylidou
Action required kondylidou:feat/define-fun-rec-optin
kondylidou:feat/define-fun-rec-optin
Action required
SMT encoder: opt-in define-fun-rec for recursive functions PR Import #116: Pull request #1478 synchronize by kondylidou
Action required kondylidou:feat/define-fun-rec-optin
kondylidou:feat/define-fun-rec-optin
Action required
SMT encoder: opt-in define-fun-rec for recursive functions Label PR areas #3628: Pull request #1478 synchronize by kondylidou
15s
15s
SMT encoder: opt-in define-fun-rec for recursive functions Label merge conflicts #4577: Pull request #1478 synchronize by kondylidou
16s
16s
SMT encoder: opt-in define-fun-rec for recursive functions Label review status #6515: Pull request #1478 synchronize by kondylidou
13s
13s
gen_smt_vcs: translate SMT datatypes to Lean inductives Build #11190: Pull request #1480 synchronize by kondylidou
Action required kondylidou:feat/smt-vcs-datatypes
kondylidou:feat/smt-vcs-datatypes
Action required
gen_smt_vcs: translate SMT datatypes to Lean inductives PR Import #115: Pull request #1480 synchronize by kondylidou
Action required kondylidou:feat/smt-vcs-datatypes
kondylidou:feat/smt-vcs-datatypes
Action required
gen_smt_vcs: translate SMT datatypes to Lean inductives Label review status #6514: Pull request #1480 synchronize by kondylidou
13s
13s
gen_smt_vcs: translate SMT datatypes to Lean inductives Label merge conflicts #4576: Pull request #1480 synchronize by kondylidou
15s
15s
gen_smt_vcs: translate SMT datatypes to Lean inductives Label PR areas #3627: Pull request #1480 synchronize by kondylidou
12s
12s
Nightly Release Nightly Release #204: Scheduled
14s main
main
14s
Scheduled CodeQL #9336: by github-advanced-security AI
1m 3s main
main
1m 3s
feat(core): name every phase a caller may run, and let a command own … Build #11189: Commit a2325c0 pushed by strata-git-sync Bot
1h 1m 23s main
main
1h 1m 23s
Push on main CodeQL #9335: by strata-git-sync Bot
12m 34s main
main
12m 34s
feat(core): name every phase a caller may run, and let a command own … Label merge conflicts #4575: Commit a2325c0 pushed by strata-git-sync Bot
26s main
main
26s
feat(core): name every phase a caller may run, and let a command own … Deploy Documentation #631: Commit a2325c0 pushed by strata-git-sync Bot
31m 13s main
main
31m 13s
SMT encoder: opt-in define-fun-rec for recursive functions Label review status #6513: Pull request #1478 submitted by shigoel
1m 11s
1m 11s
SMT encoder: opt-in define-fun-rec for recursive functions Label review status #6512: Pull request #1478 submitted by shigoel
34s
34s
gen_smt_vcs: translate SMT datatypes to Lean inductives Build #11188: Pull request #1480 synchronize by shigoel
27m 58s kondylidou:feat/smt-vcs-datatypes
kondylidou:feat/smt-vcs-datatypes
27m 58s
gen_smt_vcs: translate SMT datatypes to Lean inductives PR Import #114: Pull request #1480 synchronize by shigoel
8s kondylidou:feat/smt-vcs-datatypes
kondylidou:feat/smt-vcs-datatypes
8s
gen_smt_vcs: translate SMT datatypes to Lean inductives Label PR areas #3626: Pull request #1480 synchronize by shigoel
15s
15s
gen_smt_vcs: translate SMT datatypes to Lean inductives Label merge conflicts #4574: Pull request #1480 synchronize by shigoel
18s
18s
gen_smt_vcs: translate SMT datatypes to Lean inductives Label review status #6511: Pull request #1480 synchronize by shigoel
12s
12s
SMT encoder: opt-in define-fun-rec for recursive functions Build #11187: Pull request #1478 synchronize by kondylidou
25m 24s kondylidou:feat/define-fun-rec-optin
kondylidou:feat/define-fun-rec-optin
25m 24s
SMT encoder: opt-in define-fun-rec for recursive functions PR Import #113: Pull request #1478 synchronize by kondylidou
3s kondylidou:feat/define-fun-rec-optin
kondylidou:feat/define-fun-rec-optin
3s