Skip to content

Actions: VUISIS/formula

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Assert equality between constructor terms during matching Build #213: Commit 779c279 pushed by balasub
January 13, 2025 17:18 1m 13s master
master
January 13, 2025 17:18 1m 13s
Assert equality between constructor terms during matching .NET #213: Commit 779c279 pushed by balasub
January 13, 2025 17:18 5m 20s master
master
January 13, 2025 17:18 5m 20s
Merge pull request #67 from VUISIS/fix_noninteractive_issue Build #212: Commit 6edb39e pushed by balasub
January 13, 2025 16:54 1m 52s master
master
January 13, 2025 16:54 1m 52s
Merge pull request #67 from VUISIS/fix_noninteractive_issue .NET #212: Commit 6edb39e pushed by balasub
January 13, 2025 16:54 18m 41s master
master
January 13, 2025 16:54 18m 41s
Add 'noninteractive' command line argument Build #211: Pull request #67 opened by balasub
January 13, 2025 16:54 1m 41s fix_noninteractive_issue
fix_noninteractive_issue
January 13, 2025 16:54 1m 41s
Add 'noninteractive' command line argument .NET #211: Pull request #67 opened by balasub
January 13, 2025 16:54 20m 6s fix_noninteractive_issue
fix_noninteractive_issue
January 13, 2025 16:54 20m 6s
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
Add 'noninteractive' command line argument .NET #210: Commit abc77ff pushed by balasub
November 6, 2024 20:40 4m 13s fix_noninteractive_issue
fix_noninteractive_issue
November 6, 2024 20:40 4m 13s
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
Merge pull request #65 from VUISIS/fix_counting_constraint_bug .NET #209: Commit 348a805 pushed by balasub
September 13, 2024 19:22 3m 24s master
master
September 13, 2024 19:22 3m 24s
Assert equality between all elements of intermediate comprehension te… .NET #208: Pull request #65 reopened by balasub
September 13, 2024 19:22 4m 3s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:22 4m 3s
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… .NET #207: Pull request #65 opened by balasub
September 13, 2024 19:21 5m 1s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 19:21 5m 1s
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
Assert equality between all elements of intermediate comprehension te… .NET #206: Commit 2d99d40 pushed by balasub
September 13, 2024 18:44 3m 58s fix_counting_constraint_bug
fix_counting_constraint_bug
September 13, 2024 18:44 3m 58s
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
Merge pull request #63 from VUISIS/fix_recursive_symbolic_constraints .NET #205: Commit 93b634d pushed by balasub
September 13, 2024 17:34 1m 21s master
master
September 13, 2024 17:34 1m 21s
Assert equality between user constants that unify to the same variabl… .NET #204: Pull request #63 opened by balasub
September 13, 2024 17:30 3m 40s fix_recursive_symbolic_constraints
fix_recursive_symbolic_constraints
September 13, 2024 17:30 3m 40s
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
replacing pm@~ .NET #203: Commit 8e7618d pushed by VeraZhang0311
July 9, 2024 20:15 3m 54s minSolution
minSolution
July 9, 2024 20:15 3m 54s
modified get constraints to have declarations and assertions .NET #202: Commit 6f9d2ee pushed by VeraZhang0311
July 8, 2024 16:34 4m 25s minSolution
minSolution
July 8, 2024 16:34 4m 25s
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 .NET #201: Commit 109d16d pushed by VeraZhang0311
July 3, 2024 19:47 4m 55s minSolution
minSolution
July 3, 2024 19:47 4m 55s