Fix some web tool pub issues (#1291)

pull/1294/head
Parker Lougheed 3 years ago committed by GitHub
parent 04e6972df5
commit 9b840e61c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -6,7 +6,7 @@ permissions: read-all
on:
push:
branches:
- master
- main
jobs:
build-and-deploy:
permissions:

@ -17,8 +17,8 @@ main() async {
];
print('Building the sample index...');
await _run('samples_index', 'pub', ['get']);
await _run('samples_index', 'pub', ['run', 'grinder', 'deploy']);
await _run('samples_index', 'flutter', ['pub', 'get']);
await _run('samples_index', 'flutter', ['pub', 'run', 'grinder', 'deploy']);
// Create the directory each Flutter Web sample lives in
Directory(p.join(Directory.current.path, 'samples_index', 'public', 'web'))

@ -42,8 +42,8 @@ main(List<String> args) async {
// Build the sample index and copy the files into this directory
print('building the sample index...');
await run('samples_index', 'pub', ['get']);
await run('samples_index', 'pub', ['run', 'grinder', 'deploy']);
await run('samples_index', 'flutter', ['pub', 'get']);
await run('samples_index', 'flutter', ['pub', 'run', 'grinder', 'deploy']);
// Copy the contents of the samples_index/public directory to the build
// directory

Loading…
Cancel
Save