Reusable workflow#232

Open

michaelabernardo wants to merge 25 commits intomasterfrom

reusable-workflow

Commits on Feb 16, 2023

Reusable cryptol workflow
Michaela Meier mfmeier
committed
Typo
Michaela Meier mfmeier
committed
Add Pythonpath
Michaela Meier mfmeier
committed
First attempt saw
Michaela Meier mfmeier
committed
Test
Michaela Meier mfmeier
committed
debug
Michaela Meier mfmeier
committed
Typo
Michaela Meier mfmeier
committed
Trying to add cryptol client
Michaela Meier mfmeier
committed
Trying to download .bc files
Michaela Meier mfmeier
committed
Trying something different
Michaela Meier mfmeier
committed
Adding other tutorial proofs back in
Michaela Meier mfmeier
committed
Trying demos
Michaela Meier mfmeier
committed
Fixing case
Michaela Meier mfmeier
committed
Trying again
Michaela Meier mfmeier
committed
Trying path
Michaela Meier mfmeier
committed
Does this work?
Michaela Meier mfmeier
committed
Keep trying
Michaela Meier mfmeier
committed
Trying xxhash
Michaela Meier mfmeier
committed
tabs?
Michaela Meier mfmeier
committed
Makefile
Michaela Meier mfmeier
committed

Commits on Feb 17, 2023

Testing
Michaela Meier mfmeier
committed
Removing print statement
Michaela Meier mfmeier
committed
Prevent duplicate runs
Michaela Meier mfmeier
committed

Commits on Mar 10, 2023

Trying services
Michaela Meier mfmeier
committed
Revert
Michaela Meier mfmeier
committed