Skip to content

Actions: cucapra/raig

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
107 workflow runs
107 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
Memory benchmarks Memory benchmarks #3: Manually run by Modertool999
38s main
main
38s
remove broken aig-rs memory benchmark Push CI for Snapshot Testing #20: Commit a1e4757 pushed by Modertool999
28s main
main
28s
Memory benchmarks Memory benchmarks #2: Manually run by Modertool999
1m 7s main
main
1m 7s
isolate memory benchmark dependencies Push CI for Snapshot Testing #19: Commit b2e1182 pushed by Modertool999
28s main
main
28s
edit workflow file to match files Push CI for Snapshot Testing #18: Commit 864de10 pushed by Modertool999
33s main
main
33s
Memory benchmarks Memory benchmarks #1: Manually run by Modertool999
22s main
main
22s
Merge pull request #25 from cucapra/bmark Push CI for Snapshot Testing #17: Commit fc81d07 pushed by Modertool999
31s main
main
31s
add benchmarking Push CI for Snapshot Testing #16: Pull request #25 opened by Modertool999
31s bmark
bmark
31s
add benchmarking Differential testing against C AIGER #8: Pull request #25 opened by Modertool999
37s bmark
bmark
37s
add git commit to changelog and change aig to raig in cargo toml Push CI for Snapshot Testing #15: Commit 91034fb pushed by Modertool999
35s main
main
35s
make edits for raig 0.0.1 Push CI for Snapshot Testing #14: Commit 5285acd pushed by Modertool999
30s main
main
30s
add link to raig-cli Push CI for Snapshot Testing #13: Commit f8e8fdd pushed by Modertool999
46s main
main
46s
Merge pull request #24 from cucapra/crate-edits-2 Push CI for Snapshot Testing #12: Commit 6dd9da2 pushed by Modertool999
46s main
main
46s
Crate edits 2 Push CI for Snapshot Testing #11: Pull request #24 opened by Modertool999
35s crate-edits-2
crate-edits-2
35s
Crate edits 2 Differential testing against C AIGER #7: Pull request #24 opened by Modertool999
32s crate-edits-2
crate-edits-2
32s
Merge pull request #23 from cucapra/crate-publish Push CI for Snapshot Testing #10: Commit 2d05287 pushed by Modertool999
31s main
main
31s
Crate publish Differential testing against C AIGER #6: Pull request #23 synchronize by Modertool999
35s crate-publish
crate-publish
35s
Crate publish Push CI for Snapshot Testing #9: Pull request #23 synchronize by Modertool999
24s crate-publish
crate-publish
24s
Crate publish Differential testing against C AIGER #5: Pull request #23 opened by Modertool999
34s crate-publish
crate-publish
34s
Crate publish Push CI for Snapshot Testing #8: Pull request #23 opened by Modertool999
30s crate-publish
crate-publish
30s
Merge pull request #22 from cucapra/testing-refactor Push CI for Snapshot Testing #7: Commit 2774fd5 pushed by Modertool999
27s main
main
27s
only compare outputs (for now) Differential testing against C AIGER #4: Pull request #22 opened by Modertool999
22s testing-refactor
testing-refactor
22s
only compare outputs (for now) Push CI for Snapshot Testing #6: Pull request #22 opened by Modertool999
31s testing-refactor
testing-refactor
31s
Merge pull request #21 from cucapra/testing-refactor Push CI for Snapshot Testing #5: Commit 1f3dc1c pushed by Modertool999
25s main
main
25s
refactor testing! Push CI for Snapshot Testing #4: Pull request #21 synchronize by Modertool999
30s testing-refactor
testing-refactor
30s