Skip to content

Actions: objectionary/phino

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19,974 workflow runs
19,974 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

titles titles #6051: Scheduled
22s master
master
22s
contextualize must be rendered as \ctx titles #6050: Issue #588 opened by yegor256
27s
27s
not all expressions are enclosed in WHEN and WHERE parts when explain titles #6049: Issue #587 opened by yegor256
28s
28s
length should be rendered in math notation titles #6048: Issue #586 opened by yegor256
21s
21s
subformulas are not enclosed correctly titles #6047: Issue #585 opened by yegor256
28s
28s
indexes are not rendered correctly in TeX, when explain titles #6046: Issue #584 opened by yegor256
23s
23s
titles titles #6045: Scheduled
22s master
master
22s
titles titles #6044: Scheduled
24s master
master
24s
titles titles #6043: Scheduled
24s master
master
24s
titles titles #6042: Scheduled
22s master
master
22s
titles titles #6041: Scheduled
22s master
master
22s
titles titles #6040: Scheduled
22s master
master
22s
titles titles #6039: Scheduled
26s master
master
26s
titles titles #6038: Scheduled
23s master
master
23s
titles titles #6037: Scheduled
24s master
master
24s
titles titles #6036: Scheduled
25s master
master
25s
titles titles #6035: Scheduled
21s master
master
21s
titles titles #6034: Scheduled
30s master
master
30s
titles titles #6033: Scheduled
26s master
master
26s
pages build and deployment pages-build-deployment #34: by github-pages bot
36s gh-pages
gh-pages
36s
new version in README markdown-lint #1049: Commit 82f6dc8 pushed by rultor
18s master
master
18s
new version in README cabal #1026: Commit 82f6dc8 pushed by rultor
4m 59s master
master
4m 59s
new version in README yamllint #1049: Commit 82f6dc8 pushed by rultor
10s master
master
10s
new version in README shellcheck #1049: Commit 82f6dc8 pushed by rultor
9s master
master
9s
new version in README typos #1049: Commit 82f6dc8 pushed by rultor
12s master
master
12s