Skip to content

Actions: spaceorc/Z3Wrap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
374 workflow runs
374 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update ANALYSIS.md to include floating-point arithmetic and pro… ci #256: Commit 80142c9 pushed by spaceorc
1m 4s master
master
1m 4s
docs: add PseudoBoolean example documentation ci #255: Commit 7786f26 pushed by spaceorc
1m 6s master
master
1m 6s
docs: add link to Z3 GitHub repository in README ci #254: Commit 52a2a7f pushed by spaceorc
1m 11s master
master
1m 11s
publish publish #24: Manually run by spaceorc
56s v0.0.7
v0.0.7
56s
tag tag #31: Manually run by spaceorc
11s master
master
11s
test: add LINQ-style boolean extension method tests ci #253: Commit bef613a pushed by spaceorc
1m 19s master
master
1m 19s
pages build and deployment pages-build-deployment #44: by github-pages bot
50s gh-pages
gh-pages
50s
publish publish #23: Manually run by spaceorc
48s v0.0.7-beta.1
v0.0.7-beta.1
48s
tag tag #30: Manually run by spaceorc
11s master
master
11s
feat: add LINQ-style aggregation and boolean extension methods ci #252: Commit 678c5c3 pushed by spaceorc
1m 21s master
master
1m 21s
publish publish #22: Manually run by spaceorc
52s v0.0.6
v0.0.6
52s
tag tag #29: Manually run by spaceorc
11s master
master
11s
publish publish #21: Manually run by spaceorc
54s v0.0.6-beta.2
v0.0.6-beta.2
54s
pages build and deployment pages-build-deployment #43: by github-pages bot
29s gh-pages
gh-pages
29s
tag tag #28: Manually run by spaceorc
12s master
master
12s
docs: update changelog for IEnumerable params refactor ci #251: Commit bbeacf9 pushed by spaceorc
1m 19s master
master
1m 19s
pages build and deployment pages-build-deployment #42: by github-pages bot
25s gh-pages
gh-pages
25s
refactor: remove specific Fp() overloads in favor of generic method ci #250: Commit 37fe5cb pushed by spaceorc
1m 8s master
master
1m 8s
chore: update .gitignore to exclude all RELEASE_NOTES files ci #249: Commit 1e39451 pushed by spaceorc
1m 19s master
master
1m 19s
fix: update sequence creation to use generic type for better type safety ci #248: Commit 7929821 pushed by spaceorc
1m 11s master
master
1m 11s
docs: remove incorrect reference to FP optimization ci #247: Commit 5503583 pushed by spaceorc
1m 9s master
master
1m 9s
chore: consolidate floating-point entries in CHANGELOG ci #246: Commit 460c6eb pushed by spaceorc
1m 4s master
master
1m 4s
pages build and deployment pages-build-deployment #41: by github-pages bot
28s gh-pages
gh-pages
28s
feat: add FpFromComponents method for constructing floating-point val… ci #245: Commit 592ef12 pushed by spaceorc
1m 11s master
master
1m 11s
publish publish #20: Manually run by spaceorc
1m 7s v0.0.6-beta.1
v0.0.6-beta.1
1m 7s