Skip to content

Actions: swhid/specification

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #35 from zvr/qualifiers-restrictions
.github/workflows/publish-dev.yml #21: Commit 09b04ad pushed by rdicosmo
October 1, 2023 19:05 35s main
October 1, 2023 19:05 35s
pages build and deployment
pages-build-deployment #45: by github-pages bot
October 1, 2023 19:02 38s
October 1, 2023 19:02 38s
Merge pull request #34 from zvr/reword-id-structure
.github/workflows/publish-dev.yml #20: Commit 26798af pushed by rdicosmo
October 1, 2023 19:01 30s main
October 1, 2023 19:01 30s
Adds restrictions on qualifiers
.github/workflows/validate_pull_request.yml #28: Pull request #35 opened by zvr
October 1, 2023 16:16 19s zvr:qualifiers-restrictions
October 1, 2023 16:16 19s
Reword the SWHID structure description
.github/workflows/validate_pull_request.yml #27: Pull request #34 opened by zvr
October 1, 2023 12:11 25s zvr:reword-id-structure
October 1, 2023 12:11 25s
pages build and deployment
pages-build-deployment #44: by github-pages bot
September 30, 2023 11:20 32s
September 30, 2023 11:20 32s
Merge pull request #33 from zvr/homogenization
.github/workflows/publish-dev.yml #19: Commit 42a0d1d pushed by zacchiro
September 30, 2023 11:19 35s main
September 30, 2023 11:19 35s
Consistent formatting
.github/workflows/validate_pull_request.yml #26: Pull request #33 opened by zvr
September 30, 2023 10:20 31s zvr:homogenization
September 30, 2023 10:20 31s
pages build and deployment
pages-build-deployment #43: by github-pages bot
September 21, 2023 13:00 48s
September 21, 2023 13:00 48s
Merge pull request #32 from swhid/rdicosmo-patch-1
.github/workflows/publish-dev.yml #18: Commit f4b7b33 pushed by rdicosmo
September 21, 2023 12:59 43s main
September 21, 2023 12:59 43s
Update 6_Qualified_identifiers.md
.github/workflows/validate_pull_request.yml #25: Pull request #32 opened by rdicosmo
September 21, 2023 12:57 43s rdicosmo-patch-1
September 21, 2023 12:57 43s
pages build and deployment
pages-build-deployment #42: by github-pages bot
September 19, 2023 17:23 41s
September 19, 2023 17:23 41s
Merge pull request #29 from rdicosmo/main
.github/workflows/publish-dev.yml #17: Commit 3103211 pushed by zvr
September 19, 2023 17:22 38s main
September 19, 2023 17:22 38s
Add section on comparing SWHID and qualifier canonical order
.github/workflows/validate_pull_request.yml #24: Pull request #29 synchronize by rdicosmo
September 16, 2023 15:49 33s rdicosmo:main
September 16, 2023 15:49 33s
Add section on comparing SWHID and qualifier canonical order
.github/workflows/validate_pull_request.yml #23: Pull request #29 opened by rdicosmo
September 11, 2023 15:21 40s rdicosmo:main
September 11, 2023 15:21 40s
pages build and deployment
pages-build-deployment #41: by github-pages bot
August 9, 2023 10:17 35s
August 9, 2023 10:17 35s
Update gh-pages before mike run, final
.github/workflows/publish-dev.yml #16: Commit 08d1d06 pushed by rdicosmo
August 9, 2023 10:17 43s main
August 9, 2023 10:17 43s
pages build and deployment
pages-build-deployment #40: by github-pages bot
August 9, 2023 10:15 42s
August 9, 2023 10:15 42s
Update gh-pages before mike run, cont'd
.github/workflows/publish-dev.yml #15: Commit 3234ae0 pushed by rdicosmo
August 9, 2023 10:14 44s main
August 9, 2023 10:14 44s
Update gh-pages before mike run, cont'd
Generate [version] documentation #10: Commit 3234ae0 pushed by rdicosmo
August 9, 2023 10:14 Failure main
August 9, 2023 10:14 Failure
Update gh-pages before mike run, cont'd
.github/workflows/publish-dev.yml #14: Commit a79a1e0 pushed by rdicosmo
August 9, 2023 10:13 26s main
August 9, 2023 10:13 26s
Update gh-pages before mike run, cont'd
Generate [version] documentation #9: Commit a79a1e0 pushed by rdicosmo
August 9, 2023 10:13 Failure main
August 9, 2023 10:13 Failure
Update gh-pages before mike run
.github/workflows/publish-dev.yml #13: Commit 725d8ef pushed by rdicosmo
August 9, 2023 10:08 38s main
August 9, 2023 10:08 38s
Update gh-pages before mike run
Generate [version] documentation #8: Commit 725d8ef pushed by rdicosmo
August 9, 2023 10:08 Failure main
August 9, 2023 10:08 Failure
Fix yaml indent
.github/workflows/publish-dev.yml #12: Commit 0aae660 pushed by rdicosmo
August 9, 2023 10:04 47s main
August 9, 2023 10:04 47s