Skip to content

Actions: matthias-pichler/specification

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
176 workflow runs
176 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mark stale issues and pull requests Mark stale issues and pull requests #24: Scheduled
June 29, 2024 00:01 10s main
main
June 29, 2024 00:01 10s
Mark stale issues and pull requests Mark stale issues and pull requests #23: Scheduled
June 28, 2024 00:02 11s main
main
June 28, 2024 00:02 11s
Merge pull request #902 from yzhao244/yuri-dev-1.0.0-typo Verify Specification Examples #2: Commit ffcf80b pushed by matthias-pichler
June 27, 2024 14:43 26s main
main
June 27, 2024 14:43 26s
Mark stale issues and pull requests Mark stale issues and pull requests #22: Scheduled
June 27, 2024 00:02 11s main
main
June 27, 2024 00:02 11s
Mark stale issues and pull requests Mark stale issues and pull requests #21: Scheduled
June 26, 2024 00:02 14s main
main
June 26, 2024 00:02 14s
Mark stale issues and pull requests Mark stale issues and pull requests #20: Scheduled
June 25, 2024 00:01 13s main
main
June 25, 2024 00:01 13s
Mark stale issues and pull requests Mark stale issues and pull requests #19: Scheduled
June 24, 2024 00:02 12s main
main
June 24, 2024 00:02 12s
Mark stale issues and pull requests Mark stale issues and pull requests #18: Scheduled
June 23, 2024 00:02 14s main
main
June 23, 2024 00:02 14s
Mark stale issues and pull requests Mark stale issues and pull requests #17: Scheduled
June 22, 2024 00:01 13s main
main
June 22, 2024 00:01 13s
Mark stale issues and pull requests Mark stale issues and pull requests #16: Scheduled
June 21, 2024 00:02 12s main
main
June 21, 2024 00:02 12s
Mark stale issues and pull requests Mark stale issues and pull requests #15: Scheduled
June 20, 2024 00:02 14s main
main
June 20, 2024 00:02 14s
Mark stale issues and pull requests Mark stale issues and pull requests #14: Scheduled
June 19, 2024 00:02 12s main
main
June 19, 2024 00:02 12s
Mark stale issues and pull requests Mark stale issues and pull requests #13: Scheduled
June 18, 2024 00:02 16s main
main
June 18, 2024 00:02 16s
Mark stale issues and pull requests Mark stale issues and pull requests #12: Scheduled
June 17, 2024 00:02 10s main
main
June 17, 2024 00:02 10s
Mark stale issues and pull requests Mark stale issues and pull requests #11: Scheduled
June 16, 2024 00:02 10s main
main
June 16, 2024 00:02 10s
Mark stale issues and pull requests Mark stale issues and pull requests #10: Scheduled
June 15, 2024 00:02 11s main
main
June 15, 2024 00:02 11s
Mark stale issues and pull requests Mark stale issues and pull requests #9: Scheduled
June 14, 2024 00:02 12s main
main
June 14, 2024 00:02 12s
Mark stale issues and pull requests Mark stale issues and pull requests #8: Scheduled
June 13, 2024 00:02 11s main
main
June 13, 2024 00:02 11s
Mark stale issues and pull requests Mark stale issues and pull requests #7: Scheduled
June 12, 2024 00:02 12s main
main
June 12, 2024 00:02 12s
Mark stale issues and pull requests Mark stale issues and pull requests #6: Scheduled
June 11, 2024 00:02 11s main
main
June 11, 2024 00:02 11s
Mark stale issues and pull requests Mark stale issues and pull requests #5: Scheduled
June 10, 2024 00:02 13s main
main
June 10, 2024 00:02 13s
Mark stale issues and pull requests Mark stale issues and pull requests #4: Scheduled
June 9, 2024 00:02 13s main
main
June 9, 2024 00:02 13s
Mark stale issues and pull requests Mark stale issues and pull requests #3: Scheduled
June 8, 2024 00:02 14s main
main
June 8, 2024 00:02 14s
Mark stale issues and pull requests Mark stale issues and pull requests #2: Scheduled
June 7, 2024 00:02 11s main
main
June 7, 2024 00:02 11s
Mark stale issues and pull requests Mark stale issues and pull requests #1: Scheduled
June 6, 2024 00:02 37s main
main
June 6, 2024 00:02 37s