Compare commits

..

No commits in common. "03fd5b8494d39a7202d5f6ec3241d0d279495a6b" and "986649badecf02632a103d0fd3256c8f15b90bb8" have entirely different histories.

8 changed files with 752534 additions and 4 deletions

View File

@ -2,10 +2,10 @@ name: Autocompile
on:
workflow_dispatch:
# push:
# branches: [ "main" ]
# pull_request:
# branches: [ "main" ]
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
build:

Binary file not shown.

Binary file not shown.

Binary file not shown.

11750
src/catalog.json Normal file

File diff suppressed because it is too large Load Diff

32680
src/prerequisites.json Normal file

File diff suppressed because it is too large Load Diff

90
src/terms_list.json Normal file
View File

@ -0,0 +1,90 @@
{
"all_terms" :
[
"200709",
"200801",
"200805",
"20080502",
"20080503",
"200809",
"200901",
"200905",
"20090502",
"20090503",
"200909",
"201001",
"201005",
"20100502",
"20100503",
"201009",
"201101",
"201105",
"20110502",
"20110503",
"201109",
"201201",
"201205",
"20120502",
"20120503",
"201209",
"201301",
"201305",
"20130502",
"20130503",
"201309",
"201401",
"201405",
"20140502",
"20140503",
"201409",
"201501",
"201505",
"20150502",
"20150503",
"201509",
"201601",
"201605",
"20160502",
"20160503",
"201609",
"201701",
"201705",
"20170502",
"20170503",
"201709",
"201801",
"201805",
"20180502",
"20180503",
"201809",
"201901",
"201905",
"20190502",
"20190503",
"201909",
"202001",
"202005",
"20200502",
"20200503",
"202009",
"202101",
"202105",
"20210502",
"20210503",
"202109",
"202112",
"202201",
"202205",
"20220502",
"20220503",
"202209",
"202212",
"202301",
"202305",
"20230502",
"20230503",
"202309"
],
"current_term" : "202309",
"oldest_term" : "200709"
}

708010
src/terms_offered.json Normal file

File diff suppressed because it is too large Load Diff