Skip to content

Actions: Bastacyclop/egg-sketches

All workflows

Actions

Loading...

Showing runs from all workflows
20 workflow runs
20 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment with artifacts-next
pages-build-deployment #9: by github-pages bot
January 14, 2024 13:55 34s
January 14, 2024 13:55 34s
update README.md
Build and Test #24: Commit 9b72781 pushed by Bastacyclop
January 14, 2024 13:54 42s main
January 14, 2024 13:54 42s
update README.md
Publish Docs #7: Commit 9b72781 pushed by Bastacyclop
January 14, 2024 13:54 20s main
January 14, 2024 13:54 20s
some cleanup
Build and Test #23: Commit 4feacae pushed by Bastacyclop
October 6, 2023 12:45 5m 57s recursive-descent
October 6, 2023 12:45 5m 57s
fix bug
Build and Test #22: Commit 7ff529f pushed by Bastacyclop
September 15, 2023 07:21 4m 19s recursive-descent
September 15, 2023 07:21 4m 19s
September 14, 2023 16:14 7m 55s
move max
Build and Test #20: Commit c231a65 pushed by Bastacyclop
July 11, 2023 12:39 6m 41s calc-tk
July 11, 2023 12:39 6m 41s
time plots
Build and Test #19: Commit 418466c pushed by Bastacyclop
June 12, 2023 08:24 8m 36s calc-tk
June 12, 2023 08:24 8m 36s
misguide
Build and Test #18: Commit aacd0aa pushed by Bastacyclop
June 8, 2023 13:51 6m 55s calc-tk
June 8, 2023 13:51 6m 55s
bench math results
Build and Test #17: Commit 3ca89da pushed by Bastacyclop
June 7, 2023 18:14 7m 52s calc-tk
June 7, 2023 18:14 7m 52s
search using all rules + plot found or not
Build and Test #16: Commit 98c7172 pushed by Bastacyclop
June 2, 2023 16:54 2m 32s bench
June 2, 2023 16:54 2m 32s
better plotting + LaTeX printing
Build and Test #15: Commit a9a8803 pushed by Bastacyclop
June 2, 2023 12:00 2m 46s bench
June 2, 2023 12:00 2m 46s
start plotting
Build and Test #14: Commit 829d97e pushed by Bastacyclop
May 29, 2023 19:08 2m 32s bench
May 29, 2023 19:08 2m 32s
benchmark CSV output
Build and Test #13: Commit 138fcd8 pushed by Bastacyclop
May 29, 2023 10:29 2m 56s bench
May 29, 2023 10:29 2m 56s
start benchmarking binary
Build and Test #12: Commit 3a0b016 pushed by Bastacyclop
May 24, 2023 12:04 2m 55s bench
May 24, 2023 12:04 2m 55s
look at egraph stats
Build and Test #11: Commit 5f11b67 pushed by Bastacyclop
May 22, 2023 15:46 2m 10s calc-tk
May 22, 2023 15:46 2m 10s
fuse experiments
Build and Test #10: Commit 8d53ca5 pushed by Bastacyclop
May 22, 2023 15:04 2m 10s fuse-experiments
May 22, 2023 15:04 2m 10s
add links to examples in documentation
Build and Test #9: Commit 84ca5dd pushed by Bastacyclop
May 22, 2023 15:03 2m 31s fuse-experiments
May 22, 2023 15:03 2m 31s
add benchmark test for #239
Build and Test #8: Commit 73636de pushed by Bastacyclop
April 10, 2023 15:06 1m 57s compare_analyses
April 10, 2023 15:06 1m 57s
add benchmark test for #239
Build and Test #7: Commit 1f148b5 pushed by Bastacyclop
April 10, 2023 15:02 2m 0s compare_analyses
April 10, 2023 15:02 2m 0s