Skip to content

Actions: divark/TSLCompiler

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
421 workflow runs
421 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add boost dependency detection to meson. Continuous Integration / Continuous Deployment (Unix-based) #158: Commit 1811157 pushed by divark
1m 20s boost-hashing
boost-hashing
1m 20s
Use hashing to infer if test case already found. Continuous Integration / Continuous Deployment (Unix-based) #157: Commit 2ff44b7 pushed by divark
1m 13s boost-hashing
boost-hashing
1m 13s
Use hashing to infer if test case already found. Continuous Integration / Continuous Deployment (Windows) #157: Commit 2ff44b7 pushed by divark
3m 49s boost-hashing
boost-hashing
3m 49s
Use shared pointers when referencing Nodes. Continuous Integration / Continuous Deployment (Windows) #156: Commit be8c4b8 pushed by divark
5m 29s main
main
5m 29s
Use shared pointers when referencing Nodes. Continuous Integration / Continuous Deployment (Unix-based) #156: Commit be8c4b8 pushed by divark
2m 43s main
main
2m 43s
Revise running and compiling instructions in README Continuous Integration / Continuous Deployment (Windows) #155: Commit 0eac12b pushed by divark
5m 53s main
main
5m 53s
Revise running and compiling instructions in README Continuous Integration / Continuous Deployment (Unix-based) #155: Commit 0eac12b pushed by divark
3m 16s main
main
3m 16s
Add instructions on how to build on Windows Continuous Integration / Continuous Deployment (Windows) #154: Commit a60ae86 pushed by divark
6m 0s main
main
6m 0s
Add instructions on how to build on Windows Continuous Integration / Continuous Deployment (Unix-based) #154: Commit a60ae86 pushed by divark
3m 5s main
main
3m 5s
Update Bison version requirement in README Continuous Integration / Continuous Deployment (Windows) #153: Commit 2397992 pushed by divark
7m 7s main
main
7m 7s
Update Bison version requirement in README Continuous Integration / Continuous Deployment (Unix-based) #153: Commit 2397992 pushed by divark
5m 0s main
main
5m 0s
Update README to bring attention to pre-built binaries. Continuous Integration / Continuous Deployment (Windows) #152: Commit 0d288ba pushed by divark
6m 6s main
main
6m 6s
Update README to bring attention to pre-built binaries. Continuous Integration / Continuous Deployment (Unix-based) #152: Commit 0d288ba pushed by divark
3m 29s main
main
3m 29s
Increase bison version to account for counterexample flag. Continuous Integration / Continuous Deployment (Unix-based) #151: Commit ac6c4f1 pushed by divark
3m 36s main
main
3m 36s
Increase bison version to account for counterexample flag. Continuous Integration / Continuous Deployment (Windows) #151: Commit ac6c4f1 pushed by divark
5m 35s main
main
5m 35s
Specify minimum versions for bison and meson. Continuous Integration / Continuous Deployment (Windows) #150: Commit 19e37de pushed by divark
5m 39s main
main
5m 39s
Specify minimum versions for bison and meson. Continuous Integration / Continuous Deployment (Unix-based) #150: Commit 19e37de pushed by divark
3m 22s main
main
3m 22s
Report duplicate Categories as an error. Continuous Integration / Continuous Deployment (Unix-based) #149: Commit ef972d9 pushed by divark
9m 50s main
main
9m 50s
Report duplicate Categories as an error. Continuous Integration / Continuous Deployment (Windows) #149: Commit ef972d9 pushed by divark
6m 20s main
main
6m 20s
Remove unsupported package comment in Windows CI/CD. Continuous Integration / Continuous Deployment (Unix-based) #148: Commit 7c65084 pushed by divark
3m 46s v1.0.6
v1.0.6
3m 46s
Remove unsupported package comment in Windows CI/CD. Continuous Integration / Continuous Deployment (Windows) #148: Commit 7c65084 pushed by divark
5m 29s v1.0.6
v1.0.6
5m 29s
Remove unsupported package comment in Windows CI/CD. Continuous Integration / Continuous Deployment (Unix-based) #147: Commit 7c65084 pushed by divark
49s main
main
49s
Remove unsupported package comment in Windows CI/CD. Continuous Integration / Continuous Deployment (Windows) #147: Commit 7c65084 pushed by divark
5m 35s main
main
5m 35s
Make zip files for Windows using 7z in Windows CI/CD. Continuous Integration / Continuous Deployment (Windows) #146: Commit 99b9e5c pushed by divark
4m 57s v1.0.6
v1.0.6
4m 57s
Make zip files for Windows using 7z in Windows CI/CD. Continuous Integration / Continuous Deployment (Unix-based) #146: Commit 99b9e5c pushed by divark
6m 43s v1.0.6
v1.0.6
6m 43s