Skip to content

Actions: dafny-lang/solver-builds

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Remove Z3 4.8.5 solver-builds #15: Commit c190189 pushed by atomb
April 10, 2024 16:31 46m 23s main
main
April 10, 2024 16:31 46m 23s
Fix warnings about obsolete action versions solver-builds #14: Commit 62b50d7 pushed by atomb
April 9, 2024 23:11 45m 57s main
main
April 9, 2024 23:11 45m 57s
Add Z3 4.12.6 solver-builds #13: Commit 3bccf3b pushed by atomb
April 9, 2024 21:09 30m 23s main
main
April 9, 2024 21:09 30m 23s
Merge pull request #1 from 17451k/arm64 solver-builds #12: Commit 3d9e7f9 pushed by atomb
July 24, 2023 21:02 34m 38s main
main
July 24, 2023 21:02 34m 38s
Add arm64 builds for macOS solver-builds #11: Pull request #1 synchronize by 17451k
July 22, 2023 10:23 48m 42s 17451k:arm64
17451k:arm64
July 22, 2023 10:23 48m 42s
Update actions versions solver-builds #10: Commit e81b4f1 pushed by atomb
July 21, 2023 16:34 41m 47s main
main
July 21, 2023 16:34 41m 47s
Add arm64 builds for macOS solver-builds #9: Pull request #1 opened by 17451k
July 21, 2023 14:56 32m 22s 17451k:arm64
17451k:arm64
July 21, 2023 14:56 32m 22s
Really remove Z3 4.12.1 submodule solver-builds #8: Commit b43b9dc pushed by atomb
July 3, 2023 21:37 26m 41s main
main
July 3, 2023 21:37 26m 41s
Update Z3 submodule to 4.12.2 solver-builds #7: Commit 64cce1e pushed by atomb
July 3, 2023 21:22 1m 12s main
main
July 3, 2023 21:22 1m 12s
Update to Z3 4.12.2 solver-builds #6: Commit 31c6f3d pushed by atomb
July 3, 2023 21:13 17m 26s main
main
July 3, 2023 21:13 17m 26s