Added new scripts to CI results

- Added to GitHub statuses (61 results)

- Reworked generated release table to include these (16 results, only thumb)

These also required a surprisingly large number of other changes:

- Bumbed CI Ubuntu version 18.04 -> 20.04, 22.04 is already on the
  horizon but not usable in GitHub yet

- Manualy upgrade to GCC v10, this is required for the -fcallgraph-info
  flag that scripts/stack.py uses.

- Increased paginated status queries to 100 per-page. If we have more
  statuses than this the status diffs may get much more complicated...

- Forced whitespace in generated release table to always be nbsp. GitHub
  tables get scrunched rather ugly without this, prefering margins to
  readable tables.

- Added limited support for "∞" results, since this is returned by
  ./scripts/stack.py for recursive functions.

As a side-note, this increases the number of statuses reported
per-commit from 6 to 61, so hopefully that doesn't cause any problems...

This commit is contained in:

Christopher Haster

2022-03-11 17:34:51 -06:00

parent 7ea2b515aa

commit 9d54603ce2

4 changed files with 143 additions and 148 deletions

									
										.github/workflows/post-release.yml
									
		+1
		-1
	
												View File
												
				@@ -6,7 +6,7 @@ on:

				jobs:

				  post-release:

				    runs-on: ubuntu-18.04

				    runs-on: ubuntu-20.04

				    steps:

				      # trigger post-release in dependency repo, this indirection allows the

				      # dependency repo to be updated often without affecting this repo. At