Skip to content

Actions: johnyf/promela

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

.github/workflows/main.yml .github/workflows/main.yml #15: Scheduled
January 5, 2025 05:34 1m 8s main
main
January 5, 2025 05:34 1m 8s
.github/workflows/main.yml .github/workflows/main.yml #14: Scheduled
December 5, 2024 05:36 39s main
main
December 5, 2024 05:36 39s
.github/workflows/main.yml .github/workflows/main.yml #13: Scheduled
November 5, 2024 05:35 41s main
main
November 5, 2024 05:35 41s
MNT: comment tests_require .github/workflows/main.yml #12: Commit eba807b pushed by johnyf
October 31, 2024 15:46 1m 5s main
main
October 31, 2024 15:46 1m 5s
.github/workflows/main.yml .github/workflows/main.yml #11: Scheduled
July 5, 2024 05:31 42s main
main
July 5, 2024 05:31 42s
.github/workflows/main.yml .github/workflows/main.yml #10: Scheduled
June 5, 2024 05:31 43s main
main
June 5, 2024 05:31 43s
.github/workflows/main.yml .github/workflows/main.yml #9: Scheduled
May 5, 2024 05:31 1m 1s main
main
May 5, 2024 05:31 1m 1s
.github/workflows/main.yml .github/workflows/main.yml #8: by johnyf
April 21, 2024 14:46 35s v0.0.4
v0.0.4
April 21, 2024 14:46 35s
REL: bump version to 0.0.5 .github/workflows/main.yml #7: Commit 35d0832 pushed by johnyf
April 21, 2024 14:45 33s main
main
April 21, 2024 14:45 33s