Compare commits
3 Commits
c819704b49
...
cc4d217547
Author | SHA1 | Date |
---|---|---|
Sven Vogel | cc4d217547 | |
Sven Vogel | 84af717ce7 | |
Sven Vogel | c961dacf96 |
|
@ -2,9 +2,6 @@ name: Build'n check
|
|||
run-name: Performing Typst compilation
|
||||
on:
|
||||
push:
|
||||
pull_request:
|
||||
branches:
|
||||
- main
|
||||
jobs:
|
||||
run-ci-linux:
|
||||
runs-on: ubuntu-latest
|
||||
|
@ -12,8 +9,7 @@ jobs:
|
|||
# push with commit containing "Run-Checks"
|
||||
if: >
|
||||
(contains(github.event.head_commit.message, 'Run-Checks') &&
|
||||
github.event_name == 'push') ||
|
||||
github.event_name == 'pull_request'
|
||||
github.event_name == 'push')
|
||||
steps:
|
||||
- name: Check out repository code
|
||||
uses: actions/checkout@v3
|
||||
|
|
|
@ -9,5 +9,6 @@ pkgs.mkShellNoCC {
|
|||
python312Packages.pyyaml
|
||||
typst
|
||||
typstyle
|
||||
ripgrep
|
||||
];
|
||||
}
|
||||
|
|
|
@ -200,46 +200,49 @@ SOFTWARE.*/
|
|||
#block(
|
||||
below: 1.5em,
|
||||
width: 100%,
|
||||
par(hanging-indent: 1em, align(left)[
|
||||
#text(weight: "bold", entry.short)
|
||||
#if hasLong and hasDesc [
|
||||
(#text(entry.long))
|
||||
] else if hasLong {
|
||||
text(entry.long)
|
||||
}
|
||||
#if hasDesc [ #sym.dash.en ]
|
||||
#if hasDesc [ #desc ]
|
||||
#if disable-back-references != true {
|
||||
term_references
|
||||
.map(x => x.location())
|
||||
.sorted(key: x => x.page())
|
||||
.fold(
|
||||
(values: (), pages: ()),
|
||||
((values, pages), x) => if pages.contains(
|
||||
x.page(),
|
||||
) {
|
||||
(values: values, pages: pages)
|
||||
} else {
|
||||
values.push(x)
|
||||
pages.push(x.page())
|
||||
(values: values, pages: pages)
|
||||
},
|
||||
)
|
||||
.values
|
||||
.map(x => {
|
||||
let page-numbering = x.page-numbering()
|
||||
if page-numbering == none {
|
||||
page-numbering = "1"
|
||||
par(
|
||||
hanging-indent: 1em,
|
||||
align(left)[
|
||||
#text(weight: "bold", entry.short)
|
||||
#if hasLong and hasDesc [
|
||||
(#text(entry.long))
|
||||
] else if hasLong {
|
||||
text(entry.long)
|
||||
}
|
||||
#if hasDesc [ #sym.dash.en ]
|
||||
#if hasDesc [ #desc ]
|
||||
#if disable-back-references != true {
|
||||
term_references
|
||||
.map(x => x.location())
|
||||
.sorted(key: x => x.page())
|
||||
.fold(
|
||||
(values: (), pages: ()),
|
||||
((values, pages), x) => if pages.contains(
|
||||
x.page(),
|
||||
) {
|
||||
(values: values, pages: pages)
|
||||
} else {
|
||||
values.push(x)
|
||||
pages.push(x.page())
|
||||
(values: values, pages: pages)
|
||||
},
|
||||
)
|
||||
.values
|
||||
.map(x => {
|
||||
let page-numbering = x.page-numbering()
|
||||
if page-numbering == none {
|
||||
page-numbering = "1"
|
||||
}
|
||||
link(x)[#numbering(
|
||||
page-numbering,
|
||||
..counter(page).at(x),
|
||||
)]
|
||||
}
|
||||
link(x)[#numbering(
|
||||
page-numbering,
|
||||
..counter(page).at(x),
|
||||
)]
|
||||
}
|
||||
)
|
||||
.join(", ")
|
||||
}
|
||||
]),
|
||||
)
|
||||
.join(", ")
|
||||
}
|
||||
],
|
||||
),
|
||||
)
|
||||
]
|
||||
}
|
||||
|
|
Loading…
Reference in New Issue