Skip to content

Actions: Dyalog/APL387

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
133 workflow runs
133 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #112 from RubenVerg/precedes-succeeds Build font and deploy site #130: Commit a42103d pushed by abrudz
41s master
master
41s
Fix TinyAPL precedes and succeeds (fixes #102) Build font and deploy site #129: Pull request #112 opened by RubenVerg
19s RubenVerg:precedes-succeeds
RubenVerg:precedes-succeeds
19s
Merge pull request #111 from RubenVerg/sub10-ss01 Build font and deploy site #128: Commit 46b8a20 pushed by abrudz
38s master
master
38s
Add a variant of ⏨ for ss01 (fixes #87) Build font and deploy site #127: Pull request #111 opened by RubenVerg
18s RubenVerg:sub10-ss01
RubenVerg:sub10-ss01
18s
Merge pull request #110 from RubenVerg/bang-quest Build font and deploy site #126: Commit 1b3c4f7 pushed by abrudz
47s master
master
47s
Vertically align ? stem with ! stem Build font and deploy site #125: Pull request #110 opened by RubenVerg
22s RubenVerg:bang-quest
RubenVerg:bang-quest
22s
Merge pull request #109 from RubenVerg/fix-advances Build font and deploy site #124: Commit 50294a7 pushed by abrudz
44s master
master
44s
Fix wrong advances for some glyphs Build font and deploy site #123: Pull request #109 opened by RubenVerg
19s RubenVerg:fix-advances
RubenVerg:fix-advances
19s
Merge pull request #107 from RubenVerg/phi Build font and deploy site #122: Commit d1504ea pushed by abrudz
47s master
master
47s
Longer and rounder phi (fixes #100) Build font and deploy site #121: Pull request #107 synchronize by RubenVerg
19s RubenVerg:phi
RubenVerg:phi
19s
Merge pull request #106 from RubenVerg/relationals Build font and deploy site #120: Commit 03239b7 pushed by abrudz
36s master
master
36s
Some relational operators (see #58) Build font and deploy site #119: Pull request #106 opened by RubenVerg
17s RubenVerg:relationals
RubenVerg:relationals
17s
Merge pull request #105 from RubenVerg/fix-diagonals Build font and deploy site #118: Commit 9da3f39 pushed by abrudz
45s master
master
45s
Fix diagonal box drawing chars (fixes #99) Build font and deploy site #117: Pull request #105 opened by RubenVerg
19s RubenVerg:fix-diagonals
RubenVerg:fix-diagonals
19s
Merge pull request #104 from RubenVerg/remove-kerning Build font and deploy site #116: Commit d6382b3 pushed by abrudz
43s master
master
43s
Remove kerning pairs (fixes #90) Build font and deploy site #115: Pull request #104 opened by RubenVerg
18s RubenVerg:remove-kerning
RubenVerg:remove-kerning
18s
Merge pull request #97 from RubenVerg/broken-glyphs Build font and deploy site #114: Commit 60ff47a pushed by abrudz
38s master
master
38s
Join the two parts of the lowercase J glyph (fixes #84) Build font and deploy site #113: Pull request #97 opened by RubenVerg
17s RubenVerg:broken-glyphs
RubenVerg:broken-glyphs
17s
Merge pull request #96 from RubenVerg/umlauts Build font and deploy site #112: Commit dab465d pushed by abrudz
43s master
master
43s
Lower and smaller umlauts for lowercase letters (fixes #93) Build font and deploy site #111: Pull request #96 synchronize by abrudz
22s RubenVerg:umlauts
RubenVerg:umlauts
22s
Merge pull request #95 from RubenVerg/fix-quadrant-square Build font and deploy site #110: Commit bda248c pushed by abrudz
42s master
master
42s
Lower and smaller umlauts for lowercase letters (fixes #93) Build font and deploy site #109: Pull request #96 opened by RubenVerg
20s RubenVerg:umlauts
RubenVerg:umlauts
20s
Fix upper right quadrant square (fixes #94) Build font and deploy site #108: Pull request #95 opened by RubenVerg
18s RubenVerg:fix-quadrant-square
RubenVerg:fix-quadrant-square
18s
Merge pull request #92 from RubenVerg/fix-fourth-root Build font and deploy site #107: Commit fb28275 pushed by abrudz
32s master
master
32s
Fix fourth root (fixes #47) Build font and deploy site #106: Pull request #92 opened by RubenVerg
16s RubenVerg:fix-fourth-root
RubenVerg:fix-fourth-root
16s