Skip to content

Actions: christiankissig/python-isabelle-parser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
45 workflow runs
45 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
metrics metrics #7: Scheduled
12m 4s master
master
12m 4s
metrics metrics #6: Scheduled
12m 3s master
master
12m 3s
metrics metrics #5: Scheduled
11m 38s master
master
11m 38s
metrics metrics #4: Scheduled
12m 59s master
master
12m 59s
metrics metrics #3: Scheduled
11m 39s master
master
11m 39s
Add Python 3.14 support CI/CD #38: Pull request #15 opened by christiankissig
11m 16s ci-python-3.14
ci-python-3.14
11m 16s
Grammar coverage: cartouches, modifiers, subscripts, qualified names,… CI/CD #37: Commit 6285ac7 pushed by christiankissig
6m 23s master
master
6m 23s
Grammar coverage: cartouches, modifiers, subscripts, qualified names, legacy markup CI/CD #36: Pull request #14 synchronize by christiankissig
6m 21s grammar-coverage-cartouche-modifiers
grammar-coverage-cartouche-modifiers
6m 21s
Grammar coverage: cartouches, modifiers, subscripts, qualified names, legacy markup CI/CD #35: Pull request #14 opened by christiankissig
33s grammar-coverage-cartouche-modifiers
grammar-coverage-cartouche-modifiers
33s
metrics metrics #2: Manually run by christiankissig
10m 55s master
master
10m 55s
metrics: rebase-and-retry the commit-back push (#13) CI/CD #34: Commit 2db2bea pushed by christiankissig
6m 7s master
master
6m 7s
metrics: rebase-and-retry the commit-back push CI/CD #33: Pull request #13 synchronize by christiankissig
5m 17s metrics-pushfix
metrics-pushfix
5m 17s
metrics: rebase-and-retry the commit-back push CI/CD #32: Pull request #13 opened by christiankissig
5m 50s metrics-pushfix
metrics-pushfix
5m 50s
Accept Isabelle symbol identifiers (\<sym>) in term/name positions (#11) CI/CD #31: Commit fbd42e4 pushed by christiankissig
4m 44s master
master
4m 44s
metrics metrics #1: Manually run by christiankissig
10m 31s master
master
10m 31s
Add weekly metrics workflow (AFP coverage + performance) published to the README CI/CD #30: Pull request #12 synchronize by christiankissig
4m 58s metrics-action
metrics-action
4m 58s
Add weekly metrics workflow (AFP coverage + performance) published to the README CI/CD #29: Pull request #12 synchronize by christiankissig
5m 18s metrics-action
metrics-action
5m 18s
Add weekly metrics workflow (AFP coverage + performance) published to the README CI/CD #28: Pull request #12 synchronize by christiankissig
38s metrics-action
metrics-action
38s
Coverage: accept Isabelle symbol identifiers in term/name positions CI/CD #27: Pull request #11 opened by christiankissig
5m 33s inner-syntax-tail
inner-syntax-tail
5m 33s
Merge pull request #10 from christiankissig/readme-badges CI/CD #26: Commit 16d05e4 pushed by christiankissig
5m 42s master
master
5m 42s
Add status badges to the README CI/CD #25: Pull request #10 opened by christiankissig
5m 39s readme-badges
readme-badges
5m 39s
Merge pull request #9 from christiankissig/niche-form-gaps CI/CD #24: Commit c986488 pushed by christiankissig
5m 24s master
master
5m 24s
Grammar coverage: niche form gaps (datatype BNF annotations, nominal_datatype, method for-params, unbundle in-target) CI/CD #23: Pull request #9 opened by christiankissig
5m 13s niche-form-gaps
niche-form-gaps
5m 13s
Merge pull request #8 from christiankissig/form-level-gaps CI/CD #22: Commit 067eb9f pushed by christiankissig
5m 22s master
master
5m 22s
Grammar coverage: multiple superclasses, sort-annotated & Greek type variables CI/CD #21: Pull request #8 opened by christiankissig
4m 51s form-level-gaps
form-level-gaps
4m 51s