Skip to content

Actions: Wasm-DSL/spectec

Actions

CI for specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-spec.yml
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Else simplification pass CI for specs #911: Pull request #214 opened by DCupello1
14m 52s else-simp-pass
else-simp-pass
14m 52s
Let premise introduction pass CI for specs #910: Pull request #213 opened by DCupello1
8m 23s letintro-pass
letintro-pass
8m 23s
Improve ids pass CI for specs #909: Pull request #198 synchronize by DCupello1
9m 13s improve-ids-pass
improve-ids-pass
9m 13s
Merge pull request #205 from Wasm-DSL/undep-fix CI for specs #908: Commit 9df1008 pushed by DCupello1
8m 53s main
main
8m 53s
Undep fix CI for specs #907: Pull request #205 synchronize by DCupello1
8m 42s undep-fix
undep-fix
8m 42s
Merge pull request #212 from Wasm-DSL/il-transformers CI for specs #906: Commit 1f67f9c pushed by DCupello1
8m 37s main
main
8m 37s
IL Traversals CI for specs #905: Pull request #212 synchronize by DCupello1
8m 44s il-transformers
il-transformers
8m 44s
IL Traversals CI for specs #904: Pull request #212 synchronize by DCupello1
8m 52s il-transformers
il-transformers
8m 52s
IL Traversals CI for specs #903: Pull request #212 synchronize by DCupello1
8m 50s il-transformers
il-transformers
8m 50s
IL Traversals CI for specs #902: Pull request #212 synchronize by DCupello1
9m 47s il-transformers
il-transformers
9m 47s
IL Traversals CI for specs #901: Pull request #212 opened by DCupello1
8m 54s il-transformers
il-transformers
8m 54s
Rocq backend CI for specs #900: Pull request #207 synchronize by DCupello1
9m 3s rocq-backend
rocq-backend
9m 3s
Deftorel pass CI for specs #899: Pull request #206 synchronize by DCupello1
9m 35s deftorel-pass
deftorel-pass
9m 35s
Deftorel pass CI for specs #898: Pull request #206 synchronize by DCupello1
8m 42s deftorel-pass
deftorel-pass
8m 42s
Deftorel pass CI for specs #897: Pull request #206 synchronize by DCupello1
10m 9s deftorel-pass
deftorel-pass
10m 9s
Improve ids pass CI for specs #896: Pull request #198 synchronize by DCupello1
8m 40s improve-ids-pass
improve-ids-pass
8m 40s
Improve ids pass CI for specs #895: Pull request #198 synchronize by DCupello1
2m 16s improve-ids-pass
improve-ids-pass
2m 16s
Merge pull request #195 from Wasm-DSL/sub-expansion-pass CI for specs #894: Commit 0308a06 pushed by DCupello1
9m 4s main
main
9m 4s
Sub-expansion pass CI for specs #893: Pull request #195 synchronize by DCupello1
10m 10s sub-expansion-pass
sub-expansion-pass
10m 10s
Merge pull request #191 from Wasm-DSL/uncase-removal-pass CI for specs #892: Commit 93b7a35 pushed by DCupello1
9m 23s main
main
9m 23s
Uncase removal pass CI for specs #891: Pull request #191 synchronize by DCupello1
10m 6s uncase-removal-pass
uncase-removal-pass
10m 6s
Add if-then-else introduction IL pass (#211) CI for specs #890: Commit d2fdd73 pushed by nomeata
8m 54s main
main
8m 54s
Add if-then-else introduction IL pass CI for specs #889: Pull request #211 synchronize by nomeata
10m 47s joachim-qlynlupukwmq
joachim-qlynlupukwmq
10m 47s
Add if-then-else introduction IL pass CI for specs #888: Pull request #211 synchronize by nomeata
9m 27s joachim-qlynlupukwmq
joachim-qlynlupukwmq
9m 27s
Add if-then-else introduction IL pass CI for specs #887: Pull request #211 synchronize by nomeata
8m 43s joachim-qlynlupukwmq
joachim-qlynlupukwmq
8m 43s