Skip to content

Actions: PLSec-VU/symfc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
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