Skip to content

Actions: egraphs-good/egg

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 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
pages build and deployment pages-build-deployment #104: by github-pages Bot
32s gh-pages
gh-pages
32s
feat: add no_std + alloc support behind std feature gate (#364) Build and Test #729: Commit f94c346 pushed by mwillsey
1m 32s main
main
1m 32s
feat: add no_std + alloc support behind std feature gate (#364) Publish Docs #162: Commit f94c346 pushed by mwillsey
35s main
main
35s
feat: add no_std + alloc support behind std feature gate Build and Test #728: Pull request #364 synchronize by MavenRain
1m 36s MavenRain:feat/no-std-support
MavenRain:feat/no-std-support
1m 36s
Remove clippy from nits Build and Test #727: Commit 6260dc1 pushed by mwillsey
10m 24s main
main
10m 24s
Remove clippy from nits Publish Docs #161: Commit 6260dc1 pushed by mwillsey
29s main
main
29s
pages build and deployment pages-build-deployment #103: by github-pages Bot
30s gh-pages
gh-pages
30s
feat: add RewriteBase<'a, L, N> to relax 'static bound on Rewrite (#365) Publish Docs #160: Commit ada51f4 pushed by mwillsey
35s main
main
35s
feat: add RewriteBase<'a, L, N> to relax 'static bound on Rewrite (#365) Build and Test #726: Commit ada51f4 pushed by mwillsey
1m 30s main
main
1m 30s
feat: add RewriteBase<'a, L, N> to relax 'static bound on Rewrite Build and Test #725: Pull request #365 synchronize by MavenRain
2m 25s MavenRain:feat/relax-static-lifetime-rewrite
MavenRain:feat/relax-static-lifetime-rewrite
2m 25s
feat: add no_std + alloc support behind std feature gate Build and Test #724: Pull request #364 synchronize by MavenRain
1m 27s MavenRain:feat/no-std-support
MavenRain:feat/no-std-support
1m 27s
feat: add no_std + alloc support behind std feature gate Build and Test #723: Pull request #364 synchronize by MavenRain
30s MavenRain:feat/no-std-support
MavenRain:feat/no-std-support
30s
feat: add RewriteBase<'a, L, N> to relax 'static bound on Rewrite Build and Test #722: Pull request #365 opened by MavenRain
1m 31s MavenRain:feat/relax-static-lifetime-rewrite
MavenRain:feat/relax-static-lifetime-rewrite
1m 31s
feat: add no_std + alloc support behind std feature gate Build and Test #721: Pull request #364 synchronize by MavenRain
1m 21s MavenRain:feat/no-std-support
MavenRain:feat/no-std-support
1m 21s
feat: add no_std + alloc support behind std feature gate Build and Test #720: Pull request #364 opened by MavenRain
1m 33s MavenRain:feat/no-std-support
MavenRain:feat/no-std-support
1m 33s
pages build and deployment pages-build-deployment #102: by github-pages Bot
35s gh-pages
gh-pages
35s
Fix a bunch of rust nits Publish Docs #159: Commit 0c5b2df pushed by mwillsey
48s main
main
48s
Fix a bunch of rust nits Build and Test #719: Commit 0c5b2df pushed by mwillsey
1m 30s main
main
1m 30s
Fix CI issues by setting up rust Build and Test #718: Commit c855818 pushed by mwillsey
1m 2s main
main
1m 2s
Fix CI issues by setting up rust Publish Docs #158: Commit c855818 pushed by mwillsey
2m 19s main
main
2m 19s
Update citation info Build and Test #717: Commit 306463b pushed by mwillsey
57s main
main
57s
Update citation info Publish Docs #157: Commit 306463b pushed by mwillsey
22s main
main
22s
pages build and deployment pages-build-deployment #101: by github-pages Bot
41s gh-pages
gh-pages
41s
Make version 0.11.0 Publish Docs #156: Commit fb61679 pushed by mwillsey
32s main
main
32s
Make version 0.11.0 Build and Test #716: Commit fb61679 pushed by mwillsey
1m 40s main
main
1m 40s