Skip to content

Actions: ashiven/eqsat

Actions

linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
253 workflow runs
253 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix fission and fusion rules linux #253: Commit 5d29ce5 pushed by ashiven
2m 30s main
main
2m 30s
add benchmark script and update fission test case linux #252: Commit 6d3160b pushed by ashiven
2m 12s main
main
2m 12s
README.md aktualisieren linux #251: Commit 24e421a pushed by ashiven
6m 56s main
main
6m 56s
README.md aktualisieren linux #250: Commit 81f787a pushed by ashiven
7m 42s main
main
7m 42s
update readme linux #249: Commit 4328302 pushed by ashiven
9m 15s main
main
9m 15s
fix ffi path in build script linux #248: Commit cf47027 pushed by ashiven
13m 23s main
main
13m 23s
fix ruleset import test case linux #247: Commit 1d84847 pushed by ashiven
13m 46s main
main
13m 46s
fix ruleset import test case linux #246: Commit 045b452 pushed by ashiven
8m 9s main
main
8m 9s
fix ruleset import test case linux #245: Commit 80b3b9b pushed by ashiven
9m 27s main
main
9m 27s
fix indentation on examples linux #244: Commit 2e20496 pushed by ashiven
9m 25s main
main
9m 25s
add beta reduction ruleset for testing linux #243: Commit 83b2cbf pushed by ashiven
12m 45s main
main
12m 45s
update readme linux #242: Commit d838cbe pushed by ashiven
9m 55s main
main
9m 55s
update readme linux #241: Commit 5710723 pushed by ashiven
10m 4s main
main
10m 4s
fix analysis modify autogen linux #240: Commit e4cafdb pushed by ashiven
9m 52s main
main
9m 52s
Merge branch 'main' of https://github.com/ashiven/eqsat linux #239: Commit 49665d2 pushed by ashiven
10m 8s main
main
10m 8s
update readme linux #238: Commit 0e697ca pushed by ashiven
22m 17s main
main
22m 17s
add more complex test cases linux #237: Commit 68646aa pushed by ashiven
9m 40s main
main
9m 40s
Merge branch 'main' of https://github.com/ashiven/eqsat linux #236: Commit 3727670 pushed by ashiven
12m 47s main
main
12m 47s
update readme linux #235: Commit b4c8e3c pushed by ashiven
9m 22s main
main
9m 22s
update readme linux #234: Commit c9665fc pushed by ashiven
9m 15s main
main
9m 15s
update readme linux #233: Commit 9c20594 pushed by ashiven
7m 48s main
main
7m 48s
update readme linux #232: Commit c98d5db pushed by ashiven
9m 37s main
main
9m 37s
update readme linux #231: Commit 0a3cd2a pushed by ashiven
9m 8s main
main
9m 8s
update readme linux #230: Commit 376dff5 pushed by ashiven
10m 0s main
main
10m 0s
update readme linux #229: Commit 38bbddb pushed by ashiven
9m 51s main
main
9m 51s