Skip to content

Actions: oasis-tcs/lexidma

Main build on push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #151 from mjakubicek/master
Main build on push #150: Commit 75feca9 pushed by mjakubicek
September 6, 2024 09:49 1m 44s master
September 6, 2024 09:49 1m 44s
Merge pull request #150 from mjakubicek/master
Main build on push #149: Commit 39c0786 pushed by mjakubicek
September 6, 2024 08:45 1m 47s master
September 6, 2024 08:45 1m 47s
Merge pull request #149 from mjakubicek/master
Main build on push #148: Commit bb66139 pushed by mjakubicek
September 5, 2024 23:34 1m 46s master
September 5, 2024 23:34 1m 46s
Merge pull request #147 from michmech/master
Main build on push #147: Commit 37c611d pushed by mjakubicek
September 5, 2024 22:00 1m 44s master
September 5, 2024 22:00 1m 44s
Merge pull request #146 from jmccrae/master
Main build on push #146: Commit 655e754 pushed by mjakubicek
September 5, 2024 11:02 1m 48s master
September 5, 2024 11:02 1m 48s
Merge pull request #143 from mjakubicek/master
Main build on push #145: Commit 8bdea24 pushed by mjakubicek
September 5, 2024 09:43 2m 1s master
September 5, 2024 09:43 2m 1s
Merge pull request #142 from jmccrae/issue-140
Main build on push #144: Commit 3932b13 pushed by mjakubicek
September 5, 2024 09:43 2m 2s master
September 5, 2024 09:43 2m 2s
Merge pull request #144 from jmccrae/issue-134-jmcc
Main build on push #143: Commit faa8d74 pushed by mjakubicek
September 5, 2024 09:41 1m 52s master
September 5, 2024 09:41 1m 52s
Update Makefile
Main build on push #142: Commit c4dcf40 pushed by DavidFatDavidF
August 23, 2024 07:44 1m 39s master
August 23, 2024 07:44 1m 39s
Merge pull request #141 from jmccrae/issue-135
Main build on push #141: Commit 1c89a7b pushed by mjakubicek
August 14, 2024 08:37 2m 20s master
August 14, 2024 08:37 2m 20s
Merge pull request #133 from jmccrae/shacl-validation
Main build on push #140: Commit f833bcc pushed by DavidFatDavidF
August 8, 2024 08:57 1m 39s master
August 8, 2024 08:57 1m 39s
Merge pull request #132 from mjakubicek/master
Main build on push #139: Commit 4e786a4 pushed by mjakubicek
June 12, 2024 07:52 1m 41s master
June 12, 2024 07:52 1m 41s
Merge pull request #131 from jmccrae/ex-22-lang
Main build on push #138: Commit 1805b1b pushed by mjakubicek
June 12, 2024 07:51 1m 41s master
June 12, 2024 07:51 1m 41s
Merge pull request #130 from mjakubicek/ids
Main build on push #137: Commit d61c16e pushed by mjakubicek
June 12, 2024 07:31 2m 2s master
June 12, 2024 07:31 2m 2s
Merge pull request #128 from mjakubicek/master
Main build on push #136: Commit 5826126 pushed by mjakubicek
June 12, 2024 06:30 2m 10s master
June 12, 2024 06:30 2m 10s
explain why no fragrids in example pseudocode
Main build on push #135: Commit 8110ae6 pushed by michmech
June 3, 2024 10:49 1m 11s master
June 3, 2024 10:49 1m 11s
Merge pull request #127 from jmccrae/issue-123
Main build on push #134: Commit 46b5afc pushed by michmech
June 3, 2024 08:20 1m 31s master
June 3, 2024 08:20 1m 31s
Merge pull request #126 from jmccrae/issue-106
Main build on push #133: Commit 2d6eed7 pushed by michmech
June 3, 2024 07:41 1m 2s master
June 3, 2024 07:41 1m 2s
section describing major changes since CSD02
Main build on push #132: Commit ecd7e0f pushed by michmech
June 2, 2024 18:47 1m 15s master
June 2, 2024 18:47 1m 15s
remove all unnecessary IDs from pseudocode in examples
Main build on push #131: Commit 23c08e4 pushed by michmech
June 2, 2024 16:58 1m 3s master
June 2, 2024 16:58 1m 3s
xml element order
Main build on push #130: Commit 2d1da46 pushed by michmech
June 2, 2024 16:43 1m 34s master
June 2, 2024 16:43 1m 34s
uniqueness constraints on *all* markers
Main build on push #129: Commit 58523e0 pushed by michmech
June 2, 2024 16:22 1m 1s master
June 2, 2024 16:22 1m 1s
csd02 resolution s/sheet: now fully up to date
Main build on push #128: Commit 01d9352 pushed by michmech
June 2, 2024 15:53 1m 0s master
June 2, 2024 15:53 1m 0s
Merge pull request #125 from jmccrae/issue-116
Main build on push #127: Commit fa62231 pushed by michmech
June 2, 2024 13:13 1m 11s master
June 2, 2024 13:13 1m 11s
Merge pull request #111 from vojtech-kovar/master
Main build on push #126: Commit b310afc pushed by michmech
May 20, 2024 16:17 1m 10s master
May 20, 2024 16:17 1m 10s