version, tag and github release · Workflow runs · fixpoint/ketool · GitHub

Actions

version, tag and github release

Actions

Loading...
Loading

onPushToMain.yml

3 workflow runs

3 workflow runs

Merge pull request #2 from fixpoint/devel version, tag and github release #3: Commit 1ce9378 pushed by khattori

November 8, 2024 06:22

15s main

main

November 8, 2024 06:22

15s

Merge pull request #1 from fixpoint/devel version, tag and github release #2: Commit 9fee8d6 pushed by khattori

October 29, 2024 11:03

19s main

main

October 29, 2024 11:03

19s

Initial commit version, tag and github release #1: Commit 8f1c47e pushed by khattori

October 16, 2024 05:47

16s main

main

October 16, 2024 05:47

16s