Compare commits

..

No commits in common. "cc4d2175473cdfde1653063f24f8f326597f12c8" and "c819704b49a96fc3db693fbb2d1688ec156702e8" have entirely different histories.

3 changed files with 44 additions and 44 deletions

View File

@ -2,6 +2,9 @@ name: Build'n check
run-name: Performing Typst compilation
on:
push:
pull_request:
branches:
- main
jobs:
run-ci-linux:
runs-on: ubuntu-latest
@ -9,7 +12,8 @@ jobs:
# push with commit containing "Run-Checks"
if: >
(contains(github.event.head_commit.message, 'Run-Checks') &&
github.event_name == 'push')
github.event_name == 'push') ||
github.event_name == 'pull_request'
steps:
- name: Check out repository code
uses: actions/checkout@v3

View File

@ -9,6 +9,5 @@ pkgs.mkShellNoCC {
python312Packages.pyyaml
typst
typstyle
ripgrep
];
}

View File

@ -200,49 +200,46 @@ 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"
}
link(x)[#numbering(
page-numbering,
..counter(page).at(x),
)]
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"
}
)
.join(", ")
}
],
),
link(x)[#numbering(
page-numbering,
..counter(page).at(x),
)]
}
)
.join(", ")
}
]),
)
]
}