Skip to content

Actions: egraphs-good/egg

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add data field in runner to solve hook ownership issues Build and Test #654: Pull request #337 opened by Bastacyclop
October 22, 2024 08:51 4m 38s Bastacyclop:runner-data
Bastacyclop:runner-data
October 22, 2024 08:51 4m 38s
Replace fxhash with rustc-hash Build and Test #653: Pull request #336 opened by VitalyAnkh
September 27, 2024 11:21 4m 20s VitalyAnkh:replace_fxhash_with_rustc_hash
VitalyAnkh:replace_fxhash_with_rustc_hash
September 27, 2024 11:21 4m 20s
Remove Existence Explanations Build and Test #652: Pull request #333 synchronize by oflatt
August 31, 2024 18:31 1m 45s oflatt-remove-existence-proofs
oflatt-remove-existence-proofs
August 31, 2024 18:31 1m 45s
Merge branch 'main' into oflatt-remove-existence-proofs Build and Test #651: Commit c318a94 pushed by oflatt
August 31, 2024 18:31 1m 41s oflatt-remove-existence-proofs
oflatt-remove-existence-proofs
August 31, 2024 18:31 1m 41s
Fix clippy nit Build and Test #650: Commit 1b2d004 pushed by mwillsey
August 30, 2024 21:47 1m 44s main
main
August 30, 2024 21:47 1m 44s
Add ability for rule scheduler to control all rewrite Build and Test #649: Commit d014800 pushed by mwillsey
August 30, 2024 21:46 4m 9s main
main
August 30, 2024 21:46 4m 9s
Parallel matching Build and Test #648: Pull request #330 synchronize by szymon-zygula
August 30, 2024 10:56 1m 48s szymon-zygula:matching-only
szymon-zygula:matching-only
August 30, 2024 10:56 1m 48s
Parallel matching Build and Test #647: Pull request #330 synchronize by szymon-zygula
August 30, 2024 10:40 1m 47s szymon-zygula:matching-only
szymon-zygula:matching-only
August 30, 2024 10:40 1m 47s
Parallel matching Build and Test #646: Pull request #330 synchronize by szymon-zygula
August 30, 2024 10:37 4m 15s szymon-zygula:matching-only
szymon-zygula:matching-only
August 30, 2024 10:37 4m 15s
Remove Existence Explanations Build and Test #645: Pull request #333 opened by oflatt
August 20, 2024 20:37 4m 29s oflatt-remove-existence-proofs
oflatt-remove-existence-proofs
August 20, 2024 20:37 4m 29s
remove existence explanations Build and Test #644: Commit 121d98a pushed by oflatt
August 20, 2024 20:36 4m 25s oflatt-remove-existence-proofs
oflatt-remove-existence-proofs
August 20, 2024 20:36 4m 25s
Refactor existance proofs, fixing bugs in the process Build and Test #643: Pull request #332 synchronize by oflatt
August 20, 2024 20:30 58s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 20:30 58s
working on better tests Build and Test #642: Commit fdcd657 pushed by oflatt
August 20, 2024 20:30 54s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 20:30 54s
Refactor existance proofs, fixing bugs in the process Build and Test #641: Pull request #332 synchronize by oflatt
August 20, 2024 18:45 1m 50s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:45 1m 50s
more cleanup of docs Build and Test #640: Commit 539a02a pushed by oflatt
August 20, 2024 18:45 1m 47s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:45 1m 47s
Refactor existance proofs, fixing bugs in the process Build and Test #639: Pull request #332 synchronize by oflatt
August 20, 2024 18:42 1m 47s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:42 1m 47s
refactor to use Build and Test #638: Commit 3bd82dc pushed by oflatt
August 20, 2024 18:42 1m 50s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:42 1m 50s
Refactor existance proofs, fixing bugs in the process Build and Test #637: Pull request #332 synchronize by oflatt
August 20, 2024 18:39 2m 1s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:39 2m 1s
fix up add expr Build and Test #636: Commit e10a8ee pushed by oflatt
August 20, 2024 18:39 1m 55s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:39 1m 55s
Refactor existance proofs, fixing bugs in the process Build and Test #635: Pull request #332 synchronize by oflatt
August 20, 2024 18:19 1m 51s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:19 1m 51s
fix up tests Build and Test #634: Commit 43cf77e pushed by oflatt
August 20, 2024 18:19 1m 53s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 18:19 1m 53s
Refactor existance proofs, fixing bugs in the process Build and Test #633: Pull request #332 synchronize by oflatt
August 20, 2024 17:42 1m 51s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:42 1m 51s
format, nits Build and Test #632: Commit 335744a pushed by oflatt
August 20, 2024 17:42 2m 0s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:42 2m 0s
Refactor existance proofs, fixing bugs in the process Build and Test #631: Pull request #332 opened by oflatt
August 20, 2024 17:41 2m 49s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:41 2m 49s
fix explanations by running things beforehand Build and Test #630: Commit a8a8f9b pushed by oflatt
August 20, 2024 17:37 1m 49s oflatt-existance-refactor
oflatt-existance-refactor
August 20, 2024 17:37 1m 49s