Skip to content

Add CI#3

Open
jdreaver wants to merge 1 commit intomasterfrom
ci
Open

Add CI#3
jdreaver wants to merge 1 commit intomasterfrom
ci

Conversation

@jdreaver
Copy link
Copy Markdown
Owner

@jdreaver jdreaver commented Apr 28, 2023

TODO: Get the toolchain working. Maybe just use nix here?

@jdreaver jdreaver force-pushed the ci branch 2 times, most recently from 833dc48 to 6f2df90 Compare April 28, 2023 22:37
@jdreaver jdreaver force-pushed the master branch 7 times, most recently from 0fa636f to 9bc0cf6 Compare May 8, 2023 20:00
@jdreaver jdreaver force-pushed the master branch 7 times, most recently from 1d48e78 to f0b6f92 Compare May 16, 2023 18:53
@jdreaver jdreaver force-pushed the master branch 12 times, most recently from b26da25 to 44638e6 Compare May 29, 2023 17:26
@jdreaver jdreaver force-pushed the master branch 5 times, most recently from a4d6568 to 994da3c Compare June 17, 2023 21:38
@jdreaver jdreaver force-pushed the master branch 12 times, most recently from d91283b to a511b01 Compare June 23, 2023 16:53
@jdreaver jdreaver force-pushed the master branch 13 times, most recently from d1fc04b to 3db8aa1 Compare July 4, 2023 16:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant