Skip to content

Actions: VeriFIT/mata

Actions

Python-Binding (build-&-test)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
python-binding.yml
385 workflow runs
385 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Reduce: Simulation algorithm Python-Binding (build-&-test) #1353: Pull request #434 synchronize by samo538
3m 11s samo538:simulation
samo538:simulation
3m 11s
Merge pull request #442 from VeriFIT/fix_cex Python-Binding (build-&-test) #1352: Commit 56780ef pushed by jurajsic
3m 8s devel
devel
3m 8s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1351: Pull request #442 synchronize by jurajsic
5m 14s fix_cex
fix_cex
5m 14s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1350: Pull request #442 synchronize by jurajsic
3m 17s fix_cex
fix_cex
3m 17s
Reduce: Simulation algorithm Python-Binding (build-&-test) #1349: Pull request #434 synchronize by samo538
3m 35s samo538:simulation
samo538:simulation
3m 35s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1348: Pull request #442 synchronize by jurajsic
3m 11s fix_cex
fix_cex
3m 11s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1347: Pull request #442 synchronize by jurajsic
2m 59s fix_cex
fix_cex
2m 59s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1346: Pull request #442 synchronize by jurajsic
3m 24s fix_cex
fix_cex
3m 24s
Fix counterexamples for inclusion Python-Binding (build-&-test) #1345: Pull request #442 opened by jurajsic
3m 6s fix_cex
fix_cex
3m 6s
Merge pull request #435 from samo538/template-fix Python-Binding (build-&-test) #1344: Commit 15282c5 pushed by Adda0
4m 50s devel
devel
4m 50s
ProTip! You can narrow down the results and go further in time using created:<2024-10-16 or the other filters available.