Skip to content

Actions: oasis-tcs/lexidma

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' of https://github.com/oasis-tcs/lexidma
Main build on push #102: Commit 373efac pushed by DavidFatDavidF
January 5, 2024 10:49 1m 3s master
January 5, 2024 10:49 1m 3s
Merge pull request #75 from michmech/master
Main build on push #101: Commit 9e50b2b pushed by DavidFatDavidF
January 5, 2024 08:29 1m 24s master
January 5, 2024 08:29 1m 24s
Implementing decisions taken on 20 Dec 2023
Test build on pull request #52: Pull request #75 opened by michmech
January 4, 2024 14:24 55s michmech:master
January 4, 2024 14:24 55s
Update examples based on work with the converter
Test build on pull request #51: Pull request #74 synchronize by jmccrae
January 1, 2024 14:05 58s jmccrae:examples-61
January 1, 2024 14:05 58s
Update examples based on work with the converter
Test build on pull request #50: Pull request #74 opened by jmccrae
January 1, 2024 14:01 1m 1s jmccrae:examples-61
January 1, 2024 14:01 1m 1s
Merge pull request #73 from michmech/master
Main build on push #100: Commit a4aea7c pushed by DavidFatDavidF
December 20, 2023 12:14 5m 35s master
December 20, 2023 12:14 5m 35s
Implement decisions on issues 52, 54, 56
Test build on pull request #49: Pull request #73 opened by michmech
December 19, 2023 21:29 58s michmech:master
December 19, 2023 21:29 58s
Merge pull request #64 from jmccrae/issue-59
Main build on push #99: Commit 4ffe253 pushed by DavidFatDavidF
December 12, 2023 12:20 2m 40s master
December 12, 2023 12:20 2m 40s
Merge pull request #63 from jmccrae/issue-58
Main build on push #98: Commit b835357 pushed by DavidFatDavidF
December 12, 2023 12:19 1m 7s master
December 12, 2023 12:19 1m 7s
Issue 59
Test build on pull request #48: Pull request #64 opened by jmccrae
December 6, 2023 12:16 1m 5s jmccrae:issue-59
December 6, 2023 12:16 1m 5s
Issue 58
Test build on pull request #47: Pull request #63 opened by jmccrae
December 6, 2023 12:10 53s jmccrae:issue-58
December 6, 2023 12:10 53s
CI only fixes
Test build on pull request #46: Pull request #50 opened by mjakubicek
September 20, 2023 19:40 1m 22s mjakubicek:master
September 20, 2023 19:40 1m 22s
Merge pull request #50 from mjakubicek/master
Main build on push #97: Commit e9a526c pushed by mjakubicek
September 20, 2023 19:39 1m 15s master
September 20, 2023 19:39 1m 15s
Final final fixed before 1st public review
Main build on push #96: Commit 5e1b903 pushed by DavidFatDavidF
September 8, 2023 12:25 1m 22s master
September 8, 2023 12:25 1m 22s
Merge branch 'master' of https://github.com/oasis-tcs/lexidma
Main build on push #95: Commit bbe7166 pushed by DavidFatDavidF
September 8, 2023 12:10 1m 24s master
September 8, 2023 12:10 1m 24s
Update main.yml
Main build on push #94: Commit 188b152 pushed by DavidFatDavidF
September 8, 2023 11:56 1m 27s master
September 8, 2023 11:56 1m 27s
renaming build files according to OASIS convention
Main build on push #93: Commit 0661d05 pushed by DavidFatDavidF
September 8, 2023 11:48 1m 27s master
September 8, 2023 11:48 1m 27s
Formally progressed to csd01
Main build on push #92: Commit 0b44aaf pushed by DavidFatDavidF
September 8, 2023 11:26 1m 11s master
September 8, 2023 11:26 1m 11s
Merge pull request #49 from mjakubicek/master
Main build on push #91: Commit 588b821 pushed by mjakubicek
September 8, 2023 10:51 1m 8s master
September 8, 2023 10:51 1m 8s
updated Acknowledgments section
Test build on pull request #45: Pull request #49 opened by mjakubicek
September 8, 2023 10:50 1m 12s mjakubicek:master
September 8, 2023 10:50 1m 12s
Merge pull request #48 from mjakubicek/master
Main build on push #90: Commit 918565e pushed by mjakubicek
September 8, 2023 10:38 1m 34s master
September 8, 2023 10:38 1m 34s
move definition of UNIQUE to Definitions section
Test build on pull request #44: Pull request #48 opened by mjakubicek
September 8, 2023 10:36 1m 7s mjakubicek:master
September 8, 2023 10:36 1m 7s
Merge pull request #47 from michmech/master
Main build on push #89: Commit d05cf2c pushed by mjakubicek
September 8, 2023 09:24 1m 13s master
September 8, 2023 09:24 1m 13s
tweaks to IDs etc.
Test build on pull request #43: Pull request #47 opened by michmech
September 8, 2023 07:42 1m 20s michmech:master
September 8, 2023 07:42 1m 20s
Merge pull request #46 from mjakubicek/master
Main build on push #88: Commit 34888a9 pushed by mjakubicek
September 8, 2023 02:02 1m 22s master
September 8, 2023 02:02 1m 22s