Skip to content

Actions: strata-org/Strata-Boole

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
146 workflow runs
146 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
docs: add a getting-started guide, and link the two open feature-request issues Build #93: Pull request #20 synchronize by kondylidou
8m 42s docs/onboarding
docs/onboarding
8m 42s
PR #20 CodeQL #71: by kondylidou
39s refs/pull/20/head
refs/pull/20/head
39s
docs: add a getting-started guide, and link the two open feature-request issues Build #92: Pull request #20 synchronize by kondylidou
4m 49s docs/onboarding
docs/onboarding
4m 49s
PR #20 CodeQL #70: by kondylidou
52s refs/pull/20/head
refs/pull/20/head
52s
docs: add a getting-started guide, and link the two open feature-request issues Build #91: Pull request #20 synchronize by kondylidou
8m 22s docs/onboarding
docs/onboarding
8m 22s
PR #20 CodeQL #69: by kondylidou
48s refs/pull/20/head
refs/pull/20/head
48s
docs: add a getting-started guide, and link the two open feature-request issues Build #90: Pull request #20 synchronize by kondylidou
8m 19s docs/onboarding
docs/onboarding
8m 19s
PR #20 CodeQL #68: by kondylidou
49s refs/pull/20/head
refs/pull/20/head
49s
docs: add a getting-started guide, and link the two open feature-request issues Build #89: Pull request #20 synchronize by kondylidou
8m 39s docs/onboarding
docs/onboarding
8m 39s
PR #20 CodeQL #67: by kondylidou
46s refs/pull/20/head
refs/pull/20/head
46s
docs: add a getting-started guide, and link the two open feature-request issues Build #88: Pull request #20 synchronize by kondylidou
6m 14s docs/onboarding
docs/onboarding
6m 14s
PR #20 CodeQL #66: by kondylidou
45s refs/pull/20/head
refs/pull/20/head
45s
docs: add a getting-started guide, and link the two open feature-request issues Build #87: Pull request #20 opened by kondylidou
8m 23s docs/onboarding
docs/onboarding
8m 23s
PR #20 CodeQL #65: by kondylidou
57s refs/pull/20/head
refs/pull/20/head
57s
Lean backend: depend on lean-smt, add inline_boole_defs Build #86: Pull request #17 synchronize by kondylidou
10m 21s feat/lean-backend
feat/lean-backend
10m 21s
PR #17 CodeQL #64: by kondylidou
49s refs/pull/17/head
refs/pull/17/head
49s
Merge pull request #16 from strata-org/feat/seq-unsafe-ops Build #85: Commit fe2964b pushed by kondylidou
25m 53s main
main
25m 53s
Push on main CodeQL #63: by kondylidou
19m 35s main
main
19m 35s
Boole: lower Core's total sequence operations Build #84: Pull request #16 synchronize by kondylidou
21m 14s feat/seq-unsafe-ops
feat/seq-unsafe-ops
21m 14s
PR #16 CodeQL #62: by kondylidou
15m 4s refs/pull/16/head
refs/pull/16/head
15m 4s
Push on main CodeQL #61: by kondylidou
15m 36s main
main
15m 36s
Merge pull request #15 from strata-org/update-strata-main Build #83: Commit f438482 pushed by kondylidou
21m 59s main
main
21m 59s
Lean backend: depend on lean-smt, add inline_boole_defs Build #82: Pull request #17 synchronize by kondylidou
28m 18s feat/lean-backend
feat/lean-backend
28m 18s
Update Strata to latest main (62d26d94) Build #81: Pull request #15 synchronize by kondylidou
23m 26s update-strata-main
update-strata-main
23m 26s
PR #17 CodeQL #60: by kondylidou
17m 55s refs/pull/17/head
refs/pull/17/head
17m 55s