Skip to content

Actions: DiscreteTom/retsac

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
16 workflow runs
16 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #46 from DiscreteTom/next .github/workflows/publish.yml #47: Commit 0f9ca51 pushed by DiscreteTom
January 10, 2024 12:26 2m 1s main
main
January 10, 2024 12:26 2m 1s
Merge pull request #45 from DiscreteTom/next .github/workflows/publish.yml #46: Commit b1527ae pushed by DiscreteTom
January 7, 2024 11:39 1m 44s main
main
January 7, 2024 11:39 1m 44s
Merge pull request #44 from DiscreteTom/next .github/workflows/publish.yml #45: Commit 41fe9f2 pushed by DiscreteTom
January 7, 2024 10:49 1m 41s main
main
January 7, 2024 10:49 1m 41s
Merge pull request #43 from DiscreteTom/next .github/workflows/publish.yml #44: Commit 94595ac pushed by DiscreteTom
December 30, 2023 11:52 1m 43s main
main
December 30, 2023 11:52 1m 43s
chore: v0.14.0 .github/workflows/publish.yml #43: Commit 9382110 pushed by DiscreteTom
November 6, 2023 10:21 2m 36s main
main
November 6, 2023 10:21 2m 36s
chore: v0.13.1 .github/workflows/publish.yml #42: Commit e925d6a pushed by DiscreteTom
November 3, 2023 15:16 1m 39s main
main
November 3, 2023 15:16 1m 39s
chore: v0.1.13 .github/workflows/publish.yml #41: Commit 42c2c79 pushed by DiscreteTom
November 3, 2023 14:56 2m 58s main
main
November 3, 2023 14:56 2m 58s
ci: fix npm command .github/workflows/publish.yml #40: Commit af1ce59 pushed by DiscreteTom
October 13, 2023 14:09 2m 12s main
main
October 13, 2023 14:09 2m 12s
ci: set node version to 18 .github/workflows/publish.yml #39: Commit 44fa90c pushed by DiscreteTom
October 13, 2023 14:05 1m 41s main
main
October 13, 2023 14:05 1m 41s
tests: update example's dfa & mmd .github/workflows/publish.yml #38: Commit 55d72d3 pushed by DiscreteTom
October 13, 2023 13:59 1m 44s main
main
October 13, 2023 13:59 1m 44s
pages build and deployment pages-build-deployment #22: by github-pages bot
August 20, 2023 14:37 32s
August 20, 2023 14:37 32s
chore: add TODOs .github/workflows/publish.yml #37: Commit 21d5f9a pushed by DiscreteTom
August 20, 2023 14:35 1m 17s main
main
August 20, 2023 14:35 1m 17s
pages build and deployment pages-build-deployment #21: by github-pages bot
August 20, 2023 14:29 33s
August 20, 2023 14:29 33s
docs: update README .github/workflows/publish.yml #36: Commit 0ad6695 pushed by DiscreteTom
August 20, 2023 14:27 1m 39s main
main
August 20, 2023 14:27 1m 39s
pages build and deployment pages-build-deployment #20: by github-pages bot
April 16, 2023 14:43 35s
April 16, 2023 14:43 35s
docs: update README .github/workflows/publish.yml #35: Commit 7a5c974 pushed by DiscreteTom
April 16, 2023 14:42 1m 16s main
main
April 16, 2023 14:42 1m 16s