CI · Workflow runs · PLSec-VU/symfc · GitHub

Actions

CI

Actions

Loading...
Loading

15 workflow runs

15 workflow runs

Improvement to 'Embeddable' typeclass through 'Embedding' GADT (#21) CI #15: Commit 8658787 pushed by RobinWebbers

48s main

main

48s

WIP: Added new 'Expr' data type that does not hold a function interna… CI #14: Commit d78f5f1 pushed by RobinWebbers

4m 14s main

main

4m 14s

Improvement to 'Embeddable' typeclass through 'Embedding' GADT (#21) CI #13: Commit 8658787 pushed by RobinWebbers

14m 5s main

main

14m 5s

Improvement to 'Embeddable' typeclass through 'Embedding' GADT CI #12: Pull request #21 synchronize by RobinWebbers

14m 32s hetero-embed

hetero-embed

14m 32s

Fix axiom and expr CI #11: Pull request #2 synchronize by windtf

1m 34s fix-axiom-and-expr

fix-axiom-and-expr

1m 34s

Fix axiom and expr CI #10: Pull request #2 synchronize by windtf

1m 13s fix-axiom-and-expr

fix-axiom-and-expr

1m 13s

Fix axiom and expr CI #9: Pull request #2 opened by windtf

51s fix-axiom-and-expr

fix-axiom-and-expr

51s

Merge pull request #1 from PLSec-VU/ergonomics-improvements CI #8: Commit 1821a71 pushed by windtf

58s main

main

58s

Add dynamic flag to fix linking with Z3 CI #7: Commit 2809585 pushed by windtf

38m 10s main

main

38m 10s

gracefully handle forall a. a variables as UB CI #6: Commit 8ca316b pushed by windtf

1m 5s main

main

1m 5s

Merge pull request #1 from PLSec-VU/ergonomics-improvements CI #5: Commit 1821a71 pushed by windtf

13m 51s main

main

13m 51s

Ergonomics improvements CI #4: Pull request #1 opened by windtf

14m 51s ergonomics-improvements

ergonomics-improvements

14m 51s

Add dynamic flag to fix linking with Z3 CI #3: Commit 2809585 pushed by windtf

21m 20s main

main

21m 20s

Fix compilation on CI CI #2: Commit 8c1acb0 pushed by windtf

13m 39s main

main

13m 39s

Add GitHub Actions workflow and use github dependencies format for stack CI #1: Commit 0e93cef pushed by windtf

4m 5s main

main

4m 5s