Workflow runs · yung-turabian/links · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

Links main workflow Links main workflow #5: Scheduled

January 20, 2025 02:11

6m 22s master

master

January 20, 2025 02:11

6m 22s

SessionFail should be hidden by default (#1202) Links main workflow #4: Commit c7a899c pushed by yung-turabian

January 19, 2025 20:00

5m 51s master

master

January 19, 2025 20:00

5m 51s

Update parser.mly Links main workflow #3: Commit 9be3c15 pushed by yung-turabian

January 19, 2025 00:15

5m 57s master

master

January 19, 2025 00:15

5m 57s

Update links.opam Links main workflow #2: Commit 0327b84 pushed by yung-turabian

January 19, 2025 00:04

6m 12s master

master

January 19, 2025 00:04

6m 12s

Added subkind Numeric and primitive ad hoc. Links main workflow #1: Commit 623ff24 pushed by yung-turabian

January 18, 2025 23:15

4m 41s master

master

January 18, 2025 23:15

4m 41s