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

View File

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

View File

@ -200,49 +200,46 @@ SOFTWARE.*/
#block( #block(
below: 1.5em, below: 1.5em,
width: 100%, width: 100%,
par( par(hanging-indent: 1em, align(left)[
hanging-indent: 1em, #text(weight: "bold", entry.short)
align(left)[ #if hasLong and hasDesc [
#text(weight: "bold", entry.short) (#text(entry.long))
#if hasLong and hasDesc [ ] else if hasLong {
(#text(entry.long)) text(entry.long)
] else if hasLong { }
text(entry.long) #if hasDesc [ #sym.dash.en ]
} #if hasDesc [ #desc ]
#if hasDesc [ #sym.dash.en ] #if disable-back-references != true {
#if hasDesc [ #desc ] term_references
#if disable-back-references != true { .map(x => x.location())
term_references .sorted(key: x => x.page())
.map(x => x.location()) .fold(
.sorted(key: x => x.page()) (values: (), pages: ()),
.fold( ((values, pages), x) => if pages.contains(
(values: (), pages: ()), x.page(),
((values, pages), x) => if pages.contains( ) {
x.page(), (values: values, pages: pages)
) { } else {
(values: values, pages: pages) values.push(x)
} else { pages.push(x.page())
values.push(x) (values: values, pages: pages)
pages.push(x.page()) },
(values: values, pages: pages) )
}, .values
) .map(x => {
.values let page-numbering = x.page-numbering()
.map(x => { if page-numbering == none {
let page-numbering = x.page-numbering() page-numbering = "1"
if page-numbering == none {
page-numbering = "1"
}
link(x)[#numbering(
page-numbering,
..counter(page).at(x),
)]
} }
) link(x)[#numbering(
.join(", ") page-numbering,
} ..counter(page).at(x),
], )]
), }
)
.join(", ")
}
]),
) )
] ]
} }