Skip to content

Actions: formalsec/smtml

Actions

Deploy documentation to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
269 workflow runs
269 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add some comments Deploy documentation to Pages #226: Commit 991e17d pushed by filipeom
September 20, 2024 08:13 16m 59s main
main
September 20, 2024 08:13 16m 59s
Make test_fp.smt2 faster and fix parsing of fp32 literals Deploy documentation to Pages #225: Commit 30b49ba pushed by filipeom
September 19, 2024 07:03 16m 24s main
main
September 19, 2024 07:03 16m 24s
Add back colibrilib pin dependency to fix CI Deploy documentation to Pages #224: Commit 2cbc033 pushed by filipeom
September 17, 2024 18:23 16m 33s main
main
September 17, 2024 18:23 16m 33s
Fix binary list operators Deploy documentation to Pages #223: Commit 9a9c26d pushed by filipeom
September 17, 2024 17:46 17m 53s main
main
September 17, 2024 17:46 17m 53s
Adds missing string operators: < and <= Deploy documentation to Pages #222: Commit 24435b5 pushed by filipeom
September 17, 2024 14:44 17m 39s main
main
September 17, 2024 14:44 17m 39s
Fix Colibri2 mapping of cvtop operations Deploy documentation to Pages #221: Commit 8b16db4 pushed by filipeom
September 16, 2024 21:18 17m 17s main
main
September 16, 2024 21:18 17m 17s
This has to fix CI Deploy documentation to Pages #220: Commit 30dc99f pushed by filipeom
September 15, 2024 19:33 17m 20s main
main
September 15, 2024 19:33 17m 20s
Try to fix CI again Deploy documentation to Pages #219: Commit 519f165 pushed by filipeom
September 14, 2024 18:01 16m 53s main
main
September 14, 2024 18:01 16m 53s
Try to fix CI again Deploy documentation to Pages #218: Commit a2c0895 pushed by filipeom
September 14, 2024 17:43 16m 33s main
main
September 14, 2024 17:43 16m 33s
Remove unecessary output in doc and fix deploy CI Deploy documentation to Pages #217: Commit c60f6b5 pushed by filipeom
September 14, 2024 15:46 16m 37s main
main
September 14, 2024 15:46 16m 37s
Format Deploy documentation to Pages #216: Commit 801e36e pushed by filipeom
September 14, 2024 10:29 17m 21s main
main
September 14, 2024 10:29 17m 21s
Fixes benchpress config Deploy documentation to Pages #215: Commit 789c8c0 pushed by filipeom
September 14, 2024 08:49 17m 27s main
main
September 14, 2024 08:49 17m 27s
Update benchpress pin Deploy documentation to Pages #214: Commit 6c8c2b1 pushed by filipeom
September 13, 2024 16:47 17m 21s main
main
September 13, 2024 16:47 17m 21s
Add ALL logic Deploy documentation to Pages #213: Commit 282dd79 pushed by filipeom
September 9, 2024 23:22 16m 28s main
main
September 9, 2024 23:22 16m 28s
Use dolmen Deploy documentation to Pages #212: Commit adf1315 pushed by filipeom
September 9, 2024 09:33 15m 59s main
main
September 9, 2024 09:33 15m 59s
Simplifications of relops with js symbols Deploy documentation to Pages #211: Commit 46439ec pushed by filipeom
September 8, 2024 10:58 15m 38s main
main
September 8, 2024 10:58 15m 38s
Fixes real relops Deploy documentation to Pages #210: Commit 872ec3f pushed by filipeom
September 7, 2024 23:23 14m 59s main
main
September 7, 2024 23:23 14m 59s
Rename std to syntax and add more list functions in Result Deploy documentation to Pages #209: Commit 6ac4d6c pushed by filipeom
September 5, 2024 18:13 27m 28s main
main
September 5, 2024 18:13 27m 28s
Rename std to syntax and add more list functions in Result Deploy documentation to Pages #208: Commit 78e61da pushed by filipeom
September 5, 2024 18:09 15m 31s main
main
September 5, 2024 18:09 15m 31s
Hard code undefined simplifications Deploy documentation to Pages #207: Commit 73e2bc5 pushed by filipeom
September 5, 2024 15:03 27m 4s main
main
September 5, 2024 15:03 27m 4s
Fix app tests Deploy documentation to Pages #206: Commit fda436f pushed by filipeom
September 5, 2024 15:00 14m 32s main
main
September 5, 2024 15:00 14m 32s
Remove unecessary simplify Deploy documentation to Pages #205: Commit 30d5111 pushed by filipeom
September 2, 2024 15:12 15m 35s main
main
September 2, 2024 15:12 15m 35s
Reorganize smtml executable and add test command Deploy documentation to Pages #204: Commit 711dbad pushed by filipeom
September 2, 2024 08:19 15m 43s main
main
September 2, 2024 08:19 15m 43s
Add some sub-directories in src/ Deploy documentation to Pages #203: Commit fee718c pushed by filipeom
August 30, 2024 20:24 15m 44s main
main
August 30, 2024 20:24 15m 44s
Simplify subtractions with ptr Deploy documentation to Pages #202: Commit 3b3371f pushed by filipeom
August 27, 2024 13:45 15m 8s main
main
August 27, 2024 13:45 15m 8s