Skip to content

Actions: chanind/penman-js

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
58 workflow runs
58 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #8: by github-pages bot
January 3, 2024 17:28 35s gh-pages
gh-pages
January 3, 2024 17:28 35s
chore: adding parse and format api docs CI #50: Commit be1e361 pushed by chanind
January 3, 2024 17:25 3m 31s main
main
January 3, 2024 17:25 3m 31s
pages build and deployment pages-build-deployment #7: by github-pages bot
January 3, 2024 05:34 32s gh-pages
gh-pages
January 3, 2024 05:34 32s
chore: fixing docs relating to new Tree CI #49: Commit 3027149 pushed by chanind
January 3, 2024 05:31 3m 29s main
main
January 3, 2024 05:31 3m 29s
adding to/from Penman/Graph/Tree convenience methods CI #48: Commit c71583a pushed by chanind
January 3, 2024 05:20 1m 57s aliased-transforms
aliased-transforms
January 3, 2024 05:20 1m 57s
fix: add author field to package.json CI #47: Commit 1b94a6c pushed by chanind
January 2, 2024 15:54 3m 40s main
main
January 2, 2024 15:54 3m 40s
pages build and deployment pages-build-deployment #6: by github-pages bot
January 1, 2024 22:19 30s gh-pages
gh-pages
January 1, 2024 22:19 30s
chore: fix new issue link CI #46: Commit 0169901 pushed by chanind
January 1, 2024 22:15 3m 37s main
main
January 1, 2024 22:15 3m 37s
pages build and deployment pages-build-deployment #5: by github-pages bot
January 1, 2024 22:11 36s gh-pages
gh-pages
January 1, 2024 22:11 36s
chore: updating acknowledgements in documentation CI #45: Commit 0b32ad1 pushed by chanind
January 1, 2024 22:08 3m 44s main
main
January 1, 2024 22:08 3m 44s
chore: update acknowledgements in README.md CI #44: Commit 239f2de pushed by chanind
January 1, 2024 22:03 3m 39s main
main
January 1, 2024 22:03 3m 39s
chore: update README.md to note that documentation is also from the P… CI #43: Commit dff306d pushed by chanind
January 1, 2024 22:02 3m 34s main
main
January 1, 2024 22:02 3m 34s
chore: update LICENSE to include original copyright notice CI #42: Commit 41982e6 pushed by chanind
January 1, 2024 21:58 3m 39s main
main
January 1, 2024 21:58 3m 39s
fix: stricter type checking CI #41: Commit ca276d8 pushed by chanind
January 1, 2024 21:31 3m 45s main
main
January 1, 2024 21:31 3m 45s
pages build and deployment pages-build-deployment #4: by github-pages bot
January 1, 2024 17:21 32s gh-pages
gh-pages
January 1, 2024 17:21 32s
chore: updating default color scheme for docs CI #40: Commit 70eab9e pushed by chanind
January 1, 2024 17:17 3m 39s main
main
January 1, 2024 17:17 3m 39s
pages build and deployment pages-build-deployment #3: by github-pages bot
January 1, 2024 17:16 29s gh-pages
gh-pages
January 1, 2024 17:16 29s
chore: updating docs with models CI #39: Commit a72f24a pushed by chanind
January 1, 2024 17:13 3m 35s main
main
January 1, 2024 17:13 3m 35s
pages build and deployment pages-build-deployment #2: by github-pages bot
January 1, 2024 06:03 34s gh-pages
gh-pages
January 1, 2024 06:03 34s
making API more javascripty (#2) CI #38: Commit cc75de2 pushed by chanind
January 1, 2024 05:59 3m 58s main
main
January 1, 2024 05:59 3m 58s
making API for javascripty CI #37: Commit 2b53a0b pushed by chanind
January 1, 2024 05:52 1m 59s jsified-api
jsified-api
January 1, 2024 05:52 1m 59s
making API for javascripty CI #36: Commit 03214d2 pushed by chanind
January 1, 2024 04:30 1m 58s jsified-api
jsified-api
January 1, 2024 04:30 1m 58s
making API for javascripty CI #35: Commit 46ff3a1 pushed by chanind
December 31, 2023 18:09 48s jsified-api
jsified-api
December 31, 2023 18:09 48s
making API for javascripty CI #34: Commit 4ef2133 pushed by chanind
December 31, 2023 05:25 2m 9s jsified-api
jsified-api
December 31, 2023 05:25 2m 9s
making API for javascripty CI #33: Commit ef07eef pushed by chanind
December 31, 2023 05:08 1m 39s jsified-api
jsified-api
December 31, 2023 05:08 1m 39s