Closed FanwangM closed 2 months ago
This PR suppresses https://github.com/open-reaction-database/ord-schema/pull/718. The git history is retained to reflect the contributions of @bdeadman. There are two issues with the original PR:
Other changes:
actions/checkout
This PR addresses https://github.com/open-reaction-database/ord-schema/issues/607 and https://github.com/open-reaction-database/ord-schema/issues/708.
Thanks @FanwangM. I'll have a proper look and review it tomorrow night when I'm back at a computer.
This PR suppresses https://github.com/open-reaction-database/ord-schema/pull/718. The git history is retained to reflect the contributions of @bdeadman. There are two issues with the original PR:
Other changes:
actions/checkout
is also updated to v4;This PR addresses https://github.com/open-reaction-database/ord-schema/issues/607 and https://github.com/open-reaction-database/ord-schema/issues/708.