Skip to content

Actions: egraphs-good/egg

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
162 workflow runs
162 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
pages build and deployment pages-build-deployment #73: by github-pages bot
May 30, 2024 23:29 26s
May 30, 2024 23:29 26s
Merge branch 'main' into upstream-varargs Build and Test #607: Commit 5018b64 pushed by mwillsey
May 30, 2024 23:29 3m 26s upstream-varargs
upstream-varargs
May 30, 2024 23:29 3m 26s
Use quanta for timing Publish Docs #123: Commit de7086c pushed by mwillsey
May 30, 2024 23:28 1m 16s main
main
May 30, 2024 23:28 1m 16s
Use quanta for timing Build and Test #606: Commit de7086c pushed by mwillsey
May 30, 2024 23:28 3m 5s main
main
May 30, 2024 23:28 3m 5s
pages build and deployment pages-build-deployment #72: by github-pages bot
April 26, 2024 19:59 23s
April 26, 2024 19:59 23s
Add hook to ban e-matched cycles Build and Test #605: Commit 7e60716 pushed by mwillsey
April 26, 2024 19:57 3m 36s main
main
April 26, 2024 19:57 3m 36s
Add hook to ban e-matched cycles Publish Docs #122: Commit 7e60716 pushed by mwillsey
April 26, 2024 19:57 1m 59s main
main
April 26, 2024 19:57 1m 59s
pages build and deployment pages-build-deployment #71: by github-pages bot
April 24, 2024 23:20 52s
April 24, 2024 23:20 52s
pages build and deployment pages-build-deployment #70: by github-pages bot
April 24, 2024 23:20 12s
April 24, 2024 23:20 12s
Add hashmap_with_capacity (#313) Publish Docs #121: Commit c11d03d pushed by mwillsey
April 24, 2024 23:18 1m 54s main
main
April 24, 2024 23:18 1m 54s
Add hashmap_with_capacity (#313) Build and Test #604: Commit c11d03d pushed by mwillsey
April 24, 2024 23:18 3m 35s main
main
April 24, 2024 23:18 3m 35s
Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Publish Docs #120: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 2m 7s main
main
April 24, 2024 23:18 2m 7s
Fix proofs: switch to BigUint instead of Saturating<usize> for pr… Build and Test #603: Commit 556a6b3 pushed by mwillsey
April 24, 2024 23:18 3m 36s main
main
April 24, 2024 23:18 3m 36s
Rename RecExpr to Expr Build and Test #602: Pull request #314 synchronize by cospectrum
April 24, 2024 22:13 3m 35s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:13 3m 35s
Rename RecExpr to Expr Build and Test #601: Pull request #314 opened by cospectrum
April 24, 2024 22:11 3m 43s cospectrum:rename-recexpr
cospectrum:rename-recexpr
April 24, 2024 22:11 3m 43s
Add hashmap_with_capacity Build and Test #600: Pull request #313 synchronize by cospectrum
April 24, 2024 21:37 3m 32s cospectrum:hash-map-with-capacity
cospectrum:hash-map-with-capacity
April 24, 2024 21:37 3m 32s
Add hashmap_with_capacity Build and Test #599: Pull request #313 opened by cospectrum
April 24, 2024 20:43 3m 37s cospectrum:hash-map-with-capacity
cospectrum:hash-map-with-capacity
April 24, 2024 20:43 3m 37s
Return Language::len in O(1) Build and Test #598: Pull request #312 opened by cospectrum
April 24, 2024 19:27 4m 10s cospectrum:language-len
cospectrum:language-len
April 24, 2024 19:27 4m 10s
Fix proofs: switch to BigUint instead of Saturating<usize> for proof cost Build and Test #597: Pull request #310 synchronize by bksaiki
April 17, 2024 21:47 3m 29s bksaiki:fix-proofs
bksaiki:fix-proofs
April 17, 2024 21:47 3m 29s
Fix proofs: switch to BigUint instead of Saturating<usize> for proof cost Build and Test #596: Pull request #310 opened by bksaiki
April 17, 2024 21:42 3m 31s bksaiki:fix-proofs
bksaiki:fix-proofs
April 17, 2024 21:42 3m 31s
pages build and deployment pages-build-deployment #69: by github-pages bot
April 16, 2024 15:26 24s
April 16, 2024 15:26 24s
Fix matching perf regression Publish Docs #119: Commit 2f1514c pushed by mwillsey
April 16, 2024 15:24 1m 51s main
main
April 16, 2024 15:24 1m 51s
Fix matching perf regression Build and Test #595: Commit 2f1514c pushed by mwillsey
April 16, 2024 15:24 3m 38s main
main
April 16, 2024 15:24 3m 38s
pages build and deployment pages-build-deployment #68: by github-pages bot
April 3, 2024 19:44 24s
April 3, 2024 19:44 24s
pages build and deployment pages-build-deployment #67: by github-pages bot
April 3, 2024 19:06 28s
April 3, 2024 19:06 28s