Skip to content

Actions: strata-org/Strata-Boole

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
162 workflow runs
162 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
Bump to Lean 4.31.0, following Strata (#23) Build #101: Commit 9c9fcae pushed by abdoo8080
29m 34s main
main
29m 34s
Push on main CodeQL #79: by abdoo8080
20m 58s main
main
20m 58s
Bump to Lean 4.31.0, following Strata Build #100: Pull request #23 synchronize by kondylidou
9m 56s bump/lean-4.31
bump/lean-4.31
9m 56s
PR #23 CodeQL #78: by kondylidou
39s refs/pull/23/head
refs/pull/23/head
39s
Merge pull request #22 from yashmehta00/fix/choose-existence-guard Build #99: Commit 05c4638 pushed by kondylidou
6m 37s main
main
6m 37s
Push on main CodeQL #77: by kondylidou
42s main
main
42s
Bump to Lean 4.31.0, following Strata Build #98: Pull request #23 opened by kondylidou
9m 16s bump/lean-4.31
bump/lean-4.31
9m 16s
PR #23 CodeQL #76: by kondylidou
38s refs/pull/23/head
refs/pull/23/head
38s
Scheduled CodeQL #75: by github-advanced-security AI
53s main
main
53s
Guard choose function axioms with predicate existence Build #97: Pull request #22 opened by yashmehta00
10m 11s yashmehta00:fix/choose-existence-guard
yashmehta00:fix/choose-existence-guard
10m 11s
Guard choose axioms and support sequence extensional equality Build #96: Pull request #21 opened by yashmehta00
10m 44s yashmehta00:main
yashmehta00:main
10m 44s
Scheduled CodeQL #74: by github-advanced-security AI
49s main
main
49s
docs: add a getting-started guide, and link the two open feature-request issues Build #95: Pull request #20 synchronize by kondylidou
7m 17s docs/onboarding
docs/onboarding
7m 17s
PR #20 CodeQL #73: by kondylidou
1m 4s refs/pull/20/head
refs/pull/20/head
1m 4s
Push on main CodeQL #72: by kondylidou
57s main
main
57s
Merge pull request #17 from strata-org/feat/lean-backend Build #94: Commit 93bbd19 pushed by kondylidou
9m 54s main
main
9m 54s
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