Skip to content

Actions: SaltyPeppermint/eggshell

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow runs
326 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
cargo in /. for rand - Update #1322108425 Dependabot Updates #2: by dependabot Bot
34s main
main
34s
added the count analysis for the new egraph CI #589: Commit e8e42ed pushed by SaltyPeppermint
1m 2s main
main
1m 2s
Sampling CI #588: Pull request #3 opened by SaltyPeppermint
1m 2s sampling
sampling
1m 2s
fix for the tree iterator, now much worse runtime CI #587: Commit fb303d7 pushed by SaltyPeppermint
1m 47s main
main
1m 47s
better count impl CI #586: Commit d150111 pushed by SaltyPeppermint
1m 0s main
main
1m 0s
explicit ignore-labels flag CI #585: Commit 44d6986 pushed by SaltyPeppermint
3m 19s main
main
3m 19s
added the structural diff option CI #584: Commit ab5c3a0 pushed by SaltyPeppermint
2m 13s main
main
2m 13s
pretty match CI #583: Commit 89553ce pushed by SaltyPeppermint
58s main
main
58s
minor cleanup CI #582: Commit aef0d5c pushed by SaltyPeppermint
2m 23s main
main
2m 23s
also fixed 0.0 to 0.0f in all the jsons CI #581: Commit cc87515 pushed by SaltyPeppermint
57s main
main
57s
fix parsing of floats/doubles CI #580: Commit c6d12fa pushed by SaltyPeppermint
58s main
main
58s
clean up primitive parsing CI #579: Commit e8eeb39 pushed by SaltyPeppermint
58s main
main
58s
further code cleanup CI #578: Commit 763ce72 pushed by SaltyPeppermint
1m 1s main
main
1m 1s
more prettification CI #577: Commit 889d3b3 pushed by SaltyPeppermint
1m 43s main
main
1m 43s
more prettification CI #576: Commit db0b97f pushed by SaltyPeppermint
59s main
main
59s
first rise impl instead of string CI #575: Commit d284a9f pushed by SaltyPeppermint
57s main
main
57s
first rise impl instead of string CI #574: Commit e6757b9 pushed by SaltyPeppermint
1m 0s main
main
1m 0s
even further simplified cli CI #573: Commit d2f48d6 pushed by SaltyPeppermint
52s main
main
52s
better printing via eprint use CI #572: Commit d9e6ee9 pushed by SaltyPeppermint
52s main
main
52s
code cleanup and strip types option CI #571: Commit 95dc313 pushed by SaltyPeppermint
4m 29s main
main
4m 29s
simplified graph and fixed output CI #570: Commit 3c4f319 pushed by SaltyPeppermint
50s main
main
50s
simplified graph and fixed output CI #569: Commit 5157b3c pushed by SaltyPeppermint
1m 6s main
main
1m 6s
added the type squashing optimization CI #568: Commit 3982507 pushed by SaltyPeppermint
53s main
main
53s
tree type compressing started + updated trees CI #567: Commit 1760197 pushed by SaltyPeppermint
1m 7s main
main
1m 7s
updated egraphs to new correct format CI #566: Commit 081d256 pushed by SaltyPeppermint
53s main
main
53s