Jonathan Kelley af49cb4ec6 Merge branch 'master' into master

2023-07-14 15:36:28 -07:00

..

docs stable.yml

Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.2 (#1052)

2023-06-01 13:17:12 -05:00

docs.yml

Bump JamesIves/github-pages-deploy-action from 4.4.1 to 4.4.2 (#1052)

2023-06-01 13:17:12 -05:00

macos.yml

Fix the issue of duplicate unique ID for atoms using newtype.

2023-06-21 21:50:10 +08:00

main.yml

fix: add playwright tests to CI workflow

2023-07-05 12:55:18 -04:00

miri.yml

don't run miri workflow on draft PRs

2023-02-07 21:12:34 -06:00

playwright.yml

Try pinning ubuntu version to fix CI

2023-07-14 14:14:51 -07:00

windows.yml

Fix the issue of duplicate unique ID for atoms using newtype.

2023-06-21 21:50:10 +08:00