Skip to content

Actions: reqT/reqT-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump version
Scala CI #176: Commit 9a88b96 pushed by bjornregnell
January 31, 2025 17:05 7m 46s main
January 31, 2025 17:05 7m 46s
update generated example in quickref
Scala CI #175: Commit 78126ce pushed by bjornregnell
January 31, 2025 15:36 9m 33s main
January 31, 2025 15:36 9m 33s
improve examples
Scala CI #174: Commit 9d19944 pushed by bjornregnell
January 31, 2025 15:26 6m 49s main
January 31, 2025 15:26 6m 49s
bump version
Scala CI #173: Commit 74cf967 pushed by bjornregnell
January 31, 2025 13:10 7m 36s main
January 31, 2025 13:10 7m 36s
add link in comment
Scala CI #172: Commit b3b344e pushed by bjornregnell
January 31, 2025 13:09 8m 22s main
January 31, 2025 13:09 8m 22s
more work on Quper
Scala CI #171: Commit d3cef7b pushed by bjornregnell
January 30, 2025 16:18 10m 35s main
January 30, 2025 16:18 10m 35s
bump version
Scala CI #170: Commit edaf369 pushed by bjornregnell
January 30, 2025 12:25 7m 46s main
January 30, 2025 12:25 7m 46s
add Quper
Scala CI #169: Commit 31a932f pushed by bjornregnell
January 30, 2025 12:20 7m 30s main
January 30, 2025 12:20 7m 30s
bump version
Scala CI #168: Commit 93fc12a pushed by bjornregnell
January 29, 2025 13:38 7m 39s main
January 29, 2025 13:38 7m 39s
fix exception in prioritized voting caused by unsafe head #11
Scala CI #167: Commit 2cd8159 pushed by bjornregnell
January 29, 2025 13:34 8m 13s main
January 29, 2025 13:34 8m 13s
bump version
Scala CI #166: Commit ba70396 pushed by bjornregnell
January 28, 2025 11:01 7m 19s main
January 28, 2025 11:01 7m 19s
add renderTopLevelTitleAsHeadings in toHtml
Scala CI #165: Commit 241cbc8 pushed by bjornregnell
January 28, 2025 10:59 7m 8s main
January 28, 2025 10:59 7m 8s
bump version
Scala CI #164: Commit 26b3cfb pushed by bjornregnell
January 22, 2025 18:20 7m 57s main
January 22, 2025 18:20 7m 57s
simplify lang spec
Scala CI #163: Commit d287be8 pushed by bjornregnell
January 22, 2025 16:08 10m 6s main
January 22, 2025 16:08 10m 6s
fix remove un-escaped newline
Scala CI #162: Commit 484b6f9 pushed by bjornregnell
January 22, 2025 16:04 7m 56s main
January 22, 2025 16:04 7m 56s
fix headings in lang spec
Scala CI #161: Commit 67081dd pushed by bjornregnell
January 22, 2025 16:02 10m 22s main
January 22, 2025 16:02 10m 22s
bump version
Scala CI #160: Commit 4f63c50 pushed by bjornregnell
January 21, 2025 20:32 9m 9s main
January 21, 2025 20:32 9m 9s
add quiz
Scala CI #159: Commit b953e19 pushed by bjornregnell
January 21, 2025 20:31 7m 13s main
January 21, 2025 20:31 7m 13s
improve build instructions
Scala CI #158: Commit 709f4e5 pushed by bjornregnell
January 19, 2025 18:07 9m 35s main
January 19, 2025 18:07 9m 35s
fix bad link in readme
Scala CI #157: Commit 1882144 pushed by bjornregnell
January 19, 2025 18:03 7m 58s main
January 19, 2025 18:03 7m 58s
update readme, fix link
Scala CI #156: Commit 2c8dc45 pushed by bjornregnell
January 19, 2025 18:03 8m 21s main
January 19, 2025 18:03 8m 21s
update publish script
Scala CI #155: Commit 91707d6 pushed by bjornregnell
January 19, 2025 17:58 8m 16s main
January 19, 2025 17:58 8m 16s
bump reqTLangVer
Scala CI #154: Commit e584e67 pushed by bjornregnell
January 19, 2025 17:56 7m 27s main
January 19, 2025 17:56 7m 27s
update metamodel and quickref
Scala CI #153: Commit 220bbfd pushed by bjornregnell
January 19, 2025 17:05 9m 25s main
January 19, 2025 17:05 9m 25s
update readme
Scala CI #152: Commit 7e5a702 pushed by bjornregnell
January 19, 2025 15:26 7m 6s main
January 19, 2025 15:26 7m 6s