Skip to content

Actions: swhid/specification

.github/workflows/publish-dev.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #55 from swhid/v1.1
.github/workflows/publish-dev.yml #37: Commit 49fa20d pushed by rdicosmo
November 11, 2023 09:08 44s main
November 11, 2023 09:08 44s
Merge pull request #54 from zapashcanon/main
.github/workflows/publish-dev.yml #36: Commit 2674453 pushed by rdicosmo
November 11, 2023 09:02 35s main
November 11, 2023 09:02 35s
Merge pull request #53 from robbiemorrison/copy-edits-2
.github/workflows/publish-dev.yml #35: Commit fd72443 pushed by rdicosmo
November 2, 2023 18:54 44s main
November 2, 2023 18:54 44s
Merge pull request #52 from rdicosmo/main
.github/workflows/publish-dev.yml #34: Commit c54287c pushed by rdicosmo
November 1, 2023 17:16 36s main
November 1, 2023 17:16 36s
Merge pull request #50 from castedo/main-not-master
.github/workflows/publish-dev.yml #33: Commit 5d5cda7 pushed by rdicosmo
October 27, 2023 09:47 35s main
October 27, 2023 09:47 35s
Merge pull request #49 from castedo/patch-1
.github/workflows/publish-dev.yml #32: Commit b8ebd1c pushed by rdicosmo
October 26, 2023 15:21 32s main
October 26, 2023 15:21 32s
Merge pull request #46 from castedo/main
.github/workflows/publish-dev.yml #31: Commit 665c754 pushed by rdicosmo
October 26, 2023 15:20 36s main
October 26, 2023 15:20 36s
Merge pull request #45 from webmink/main
.github/workflows/publish-dev.yml #30: Commit 5c0717c pushed by zacchiro
October 23, 2023 15:17 30s main
October 23, 2023 15:17 30s
Merge pull request #44 from webmink/main
.github/workflows/publish-dev.yml #29: Commit cbf2db9 pushed by zacchiro
October 23, 2023 13:47 32s main
October 23, 2023 13:47 32s
Merge pull request #42 from webmink/webmink-patch-4
.github/workflows/publish-dev.yml #28: Commit aac2262 pushed by zacchiro
October 23, 2023 13:45 31s main
October 23, 2023 13:45 31s
Merge pull request #43 from webmink/webmink-patch-3
.github/workflows/publish-dev.yml #27: Commit 18963d3 pushed by zacchiro
October 23, 2023 13:45 24s main
October 23, 2023 13:45 24s
Merge pull request #41 from webmink/webmink-patch-2
.github/workflows/publish-dev.yml #26: Commit bae44a9 pushed by zacchiro
October 23, 2023 13:44 36s main
October 23, 2023 13:44 36s
Merge pull request #40 from castedo/main
.github/workflows/publish-dev.yml #25: Commit 8aeb91b pushed by zacchiro
October 22, 2023 16:28 29s main
October 22, 2023 16:28 29s
Bump version number
.github/workflows/publish-dev.yml #24: Commit 738517a pushed by rdicosmo
October 18, 2023 17:30 30s main
October 18, 2023 17:30 30s
Merge pull request #38 from rdicosmo/main
.github/workflows/publish-dev.yml #23: Commit 3b21848 pushed by zvr
October 11, 2023 20:05 32s main
October 11, 2023 20:05 32s
Merge pull request #36 from zvr/fix-typo
.github/workflows/publish-dev.yml #22: Commit 8b75455 pushed by zacchiro
October 2, 2023 07:42 28s main
October 2, 2023 07:42 28s
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
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
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
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
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
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
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
.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
.github/workflows/publish-dev.yml #13: Commit 725d8ef pushed by rdicosmo
August 9, 2023 10:08 38s main
August 9, 2023 10:08 38s