Skip to content

Actions: Wasm-DSL/spectec

Actions

CI for spectec

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spectec.yml
349 workflow run results
349 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix eq on calls CI for spectec #325: Commit be9c577 pushed by rossberg
November 4, 2023 16:22 7m 46s main
main
November 4, 2023 16:22 7m 46s
Fix grammar for mut CI for spectec #324: Commit a7cdf18 pushed by rossberg
November 4, 2023 11:44 7m 50s main
main
November 4, 2023 11:44 7m 50s
Check that variables in rules and defs are bound (#44) CI for spectec #323: Commit d6cc096 pushed by rossberg
November 3, 2023 13:46 6m 19s main
main
November 3, 2023 13:46 6m 19s
Check that variables in rules and defs are bound CI for spectec #322: Pull request #44 synchronize by rossberg
November 3, 2023 09:38 7m 35s binding-check
binding-check
November 3, 2023 09:38 7m 35s
Check that variables in rules and defs are bound CI for spectec #321: Pull request #44 opened by rossberg
November 3, 2023 09:36 6m 9s binding-check
binding-check
November 3, 2023 09:36 6m 9s
Test expectations CI for spectec #320: Commit 08e26ac pushed by rossberg
October 27, 2023 21:29 6m 28s main
main
October 27, 2023 21:29 6m 28s
Implement grammar definitions (#38) CI for spectec #319: Commit 3d7f74d pushed by rossberg
October 27, 2023 20:15 10m 0s main
main
October 27, 2023 20:15 10m 0s
Implement grammar definitions CI for spectec #318: Pull request #38 opened by rossberg
October 27, 2023 20:15 10m 11s grammar
grammar
October 27, 2023 20:15 10m 11s
Add negated premises CI for spectec #317: Pull request #7 synchronize by nomeata
October 17, 2023 13:57 8m 8s NegPr
NegPr
October 17, 2023 13:57 8m 8s
Add negated premises CI for spectec #316: Pull request #7 synchronize by nomeata
October 17, 2023 13:26 11m 44s NegPr
NegPr
October 17, 2023 13:26 11m 44s
Add install guide and pointers to al branch in readme CI for spectec #315: Commit 31e1276 pushed by jaehyun1ee
October 5, 2023 11:38 6m 55s main
main
October 5, 2023 11:38 6m 55s
Make float grammar work CI for spectec #314: Commit 942601b pushed by rossberg
September 29, 2023 12:13 6m 22s main
main
September 29, 2023 12:13 6m 22s
sideconditions: fix nested iteration (#36) CI for spectec #313: Commit 67e695e pushed by nomeata
September 27, 2023 09:12 6m 46s main
main
September 27, 2023 09:12 6m 46s
sideconditions: fix nested iteration CI for spectec #312: Pull request #36 opened by nomeata
September 26, 2023 21:13 6m 29s sideconditions-nested-iters
sideconditions-nested-iters
September 26, 2023 21:13 6m 29s
Various tweaks and new notation operators CI for spectec #311: Commit 6b0feea pushed by rossberg
September 25, 2023 08:23 14m 6s main
main
September 25, 2023 08:23 14m 6s
A bit more structure in definition files CI for spectec #310: Commit ed31b05 pushed by rossberg
September 10, 2023 15:06 11m 50s main
main
September 10, 2023 15:06 11m 50s
Fix bug in multiplicity annotation of iteration variable CI for spectec #309: Commit b4ea6c3 pushed by rossberg
July 27, 2023 06:39 4m 42s main
main
July 27, 2023 06:39 4m 42s
More rendering fixes for e^(x<e) CI for spectec #308: Commit 132d6c0 pushed by rossberg
July 27, 2023 06:30 4m 54s main
main
July 27, 2023 06:30 4m 54s
Adjust test expectations CI for spectec #307: Commit 799c5d3 pushed by rossberg
July 27, 2023 06:26 4m 37s main
main
July 27, 2023 06:26 4m 37s
Fix rendering of e^(x<e) CI for spectec #306: Commit 5b91993 pushed by rossberg
July 27, 2023 06:26 4m 10s main
main
July 27, 2023 06:26 4m 10s
Doc CI for spectec #305: Commit 81976dd pushed by rossberg
July 27, 2023 05:44 4m 18s main
main
July 27, 2023 05:44 4m 18s
Minor tweaks CI for spectec #304: Commit 4598a82 pushed by rossberg
July 26, 2023 12:42 4m 15s main
main
July 26, 2023 12:42 4m 15s
DSL for module semantics (#32) CI for spectec #303: Commit 056aebe pushed by ShinWonho
July 26, 2023 10:25 4m 20s main
main
July 26, 2023 10:25 4m 20s
DSL for module semantics CI for spectec #302: Pull request #32 synchronize by ShinWonho
July 26, 2023 10:19 5m 20s module-semantics
module-semantics
July 26, 2023 10:19 5m 20s
ProTip! You can narrow down the results and go further in time using created:<2023-07-26 or the other filters available.