Skip to content

Conversation

@newhouse
Copy link
Collaborator

@newhouse newhouse commented Feb 6, 2022

More specific transpilation for the different runtimes.

@newhouse newhouse force-pushed the newhouse/better-transpilation branch from 1640262 to 2728400 Compare February 6, 2022 01:54
@newhouse
Copy link
Collaborator Author

newhouse commented Feb 6, 2022

@benjaminhoffman any idea why the Github actions aren't running on this branch? Did you disable them by chance? They ran just an hour or so ago...

@newhouse
Copy link
Collaborator Author

newhouse commented Feb 6, 2022

@benjaminhoffman any idea why the Github actions aren't running on this branch? Did you disable them by chance? They ran just an hour or so ago...

Oh, there they go...perhaps Github was just having some delays...

@newhouse newhouse force-pushed the newhouse/better-transpilation branch 2 times, most recently from 0397f41 to 029e8c4 Compare February 8, 2022 18:00
@newhouse newhouse force-pushed the newhouse/better-transpilation branch from 029e8c4 to fd1773b Compare February 8, 2022 18:10
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.

2 participants