Skip to content

Actions: VUISIS/formula

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add 'noninteractive' command line argument Build #210: Commit abc77ff pushed by balasub
November 6, 2024 20:40 2m 50s fix_noninteractive_issue
fix_noninteractive_issue
November 6, 2024 20:40 2m 50s
Merge pull request #65 from VUISIS/fix_counting_constraint_bug Build #209: Commit 348a805 pushed by balasub
September 13, 2024 19:22 2m 21s master
master
September 13, 2024 19:22 2m 21s
Assert equality between all elements of intermediate comprehension te… Build #208: Pull request #65 reopened by balasub
September 13, 2024 19:22 3m 8s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:22 3m 8s
Assert equality between all elements of intermediate comprehension te… Build #207: Pull request #65 opened by balasub
September 13, 2024 19:21 2m 17s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:21 2m 17s
Assert equality between all elements of intermediate comprehension te… Build #206: Commit 2d99d40 pushed by balasub
September 13, 2024 18:44 3m 41s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 18:44 3m 41s
Merge pull request #63 from VUISIS/fix_recursive_symbolic_constraints Build #205: Commit 93b634d pushed by balasub
September 13, 2024 17:34 3m 27s master
master
September 13, 2024 17:34 3m 27s
Assert equality between user constants that unify to the same variabl… Build #204: Pull request #63 opened by balasub
September 13, 2024 17:30 2m 47s fix_recursive_symbolic_constraints
fix_recursive_symbolic_constraints
September 13, 2024 17:30 2m 47s
replacing pm@~ Build #203: Commit 8e7618d pushed by VeraZhang0311
July 9, 2024 20:15 3m 11s minSolution
minSolution
July 9, 2024 20:15 3m 11s
modified get constraints to have declarations and assertions Build #202: Commit 6f9d2ee pushed by VeraZhang0311
July 8, 2024 16:34 2m 54s minSolution
minSolution
July 8, 2024 16:34 2m 54s
deleted unused code Build #201: Commit 109d16d pushed by VeraZhang0311
July 3, 2024 19:47 2m 22s minSolution
minSolution
July 3, 2024 19:47 2m 22s
updated the message Build #200: Commit 40a69bc pushed by VeraZhang0311
July 3, 2024 19:24 2m 5s minSolution
minSolution
July 3, 2024 19:24 2m 5s
try Build #199: Commit 2d33653 pushed by VeraZhang0311
July 3, 2024 19:07 2m 6s minSolution
minSolution
July 3, 2024 19:07 2m 6s
trying to retrieve the solver Build #198: Commit a0ff9d4 pushed by VeraZhang0311
July 3, 2024 17:51 1m 26s minSolution
minSolution
July 3, 2024 17:51 1m 26s
modified constraints for fetchConstraints Build #197: Commit 57c9865 pushed by liy94
July 2, 2024 18:21 2m 43s minSolution
minSolution
July 2, 2024 18:21 2m 43s
test adding interface Build #196: Commit 4e2807b pushed by VeraZhang0311
July 1, 2024 19:23 3m 5s minSolution
minSolution
July 1, 2024 19:23 3m 5s
declared DoFetchConstraints Build #195: Commit 3efd12b pushed by liy94
July 1, 2024 17:25 2m 41s minSolution
minSolution
July 1, 2024 17:25 2m 41s
renamed msg variable Build #194: Commit 2642a9f pushed by liy94
July 1, 2024 17:21 1m 17s minSolution
minSolution
July 1, 2024 17:21 1m 17s
fix syntax error. added command interface Build #193: Commit babd40e pushed by liy94
July 1, 2024 17:18 1m 22s minSolution
minSolution
July 1, 2024 17:18 1m 22s
added commandInterface text description for FetchConstraints Build #192: Commit ccb2009 pushed by liy94
July 1, 2024 17:08 1m 38s minSolution
minSolution
July 1, 2024 17:08 1m 38s
Merge pull request #60 from VUISIS/add-arm-builds Build #191: Commit d9682fe pushed by VeraZhang0311
June 28, 2024 14:56 2m 17s minSolution
minSolution
June 28, 2024 14:56 2m 17s
Assert equality between user constants that unify to the same variabl… Build #190: Commit e67da65 pushed by balasub
May 30, 2024 18:40 2m 41s fix_recursive_symbolic_constraints
fix_recursive_symbolic_constraints
May 30, 2024 18:40 2m 41s
Merge pull request #60 from VUISIS/add-arm-builds Build #189: Commit d9682fe pushed by balasub
May 30, 2024 15:00 3m 5s master
master
May 30, 2024 15:00 3m 5s
Add arm builds Build #188: Pull request #60 opened by liy94
May 29, 2024 21:03 2m 54s add-arm-builds
add-arm-builds
May 29, 2024 21:03 2m 54s
separate MacOS work from Ubuntu and Windows Build #187: Commit 0364478 pushed by liy94
May 29, 2024 17:36 2m 43s add-arm-builds
add-arm-builds
May 29, 2024 17:36 2m 43s
temporarily remove macos Build #186: Commit e2e7d24 pushed by liy94
May 29, 2024 17:24 2m 44s add-arm-builds
add-arm-builds
May 29, 2024 17:24 2m 44s