Skip to content

Actions: Bram-Hub/aris

Actions

Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
checks.yml
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run FMT Checks #285: Commit c940345 pushed by etbala
1m 8s delete-tabs
delete-tabs
1m 8s
Run FMT Checks #284: Commit c940345 pushed by etbala
1m 12s delete-tabs
delete-tabs
1m 12s
Run FMT Checks #283: Commit c940345 pushed by etbala
1m 25s master
master
1m 25s
Fix Incorrect Tab Deleting Checks #282: Commit 0d419d1 pushed by etbala
1m 13s master
master
1m 13s
Ask for confirmation on closing tab Checks #281: Commit 5ae5ddd pushed by etbala
1m 9s master
master
1m 9s
Add Ability to Close Tabs Checks #280: Commit f922861 pushed by etbala
1m 8s master
master
1m 8s
Merge pull request #152 from Bram-Hub/replace-vars-fix Checks #279: Commit 16f6806 pushed by etbala
1m 9s master
master
1m 9s
Fix replacing_bound_vars and add ReplacingBoundVars tests (closes #145) Checks #278: Pull request #152 opened by etbala
1m 13s replace-vars-fix
replace-vars-fix
1m 13s
Run Clippy & FMT Checks #277: Commit 90f8903 pushed by etbala
1m 6s replace-vars-fix
replace-vars-fix
1m 6s
Fix ReverseBoundVar Failing in Some Cases Checks #276: Commit 4e38995 pushed by etbala
1m 11s replace-vars-fix
replace-vars-fix
1m 11s
Add ReplacingBoundVar Tests Checks #275: Commit 285f970 pushed by etbala
1m 4s replace-vars-fix
replace-vars-fix
1m 4s
Merge pull request #151 from Bram-Hub/prenex-law-fix Checks #274: Commit b274a4b pushed by etbala
1m 12s replace-vars-fix
replace-vars-fix
1m 12s
Merge pull request #150 from lairdc/master Checks #273: Commit 0ef7b06 pushed by etbala
1m 9s replace-vars-fix
replace-vars-fix
1m 9s
Merge pull request #151 from Bram-Hub/prenex-law-fix Checks #272: Commit b274a4b pushed by etbala
1m 17s master
master
1m 17s
Fix normalize_prenex_laws and add prenex law tests (closes #146) Checks #271: Pull request #151 opened by etbala
1m 13s prenex-law-fix
prenex-law-fix
1m 13s
Readd biconditional sub test Checks #270: Commit ed78968 pushed by etbala
1m 18s prenex-law-fix
prenex-law-fix
1m 18s
Run Formatter Checks #269: Commit 3430591 pushed by etbala
1m 14s prenex-law-fix
prenex-law-fix
1m 14s
Fix PrenexLaw Evaluating to False in some Cases Checks #268: Commit e480292 pushed by etbala
1m 7s prenex-law-fix
prenex-law-fix
1m 7s
Add PrenexLaw Tests Checks #267: Commit bc7b967 pushed by etbala
1m 24s prenex-law-fix
prenex-law-fix
1m 24s
Merge pull request #150 from lairdc/master Checks #266: Commit 0ef7b06 pushed by etbala
1m 20s prenex-law-fix
prenex-law-fix
1m 20s
Merge pull request #150 from lairdc/master Checks #265: Commit 0ef7b06 pushed by lairdc
1m 9s master
master
1m 9s
Fixing Integrity Attributes Checks #264: Pull request #150 opened by lairdc
1m 10s lairdc:master
lairdc:master
1m 10s
Merge pull request #149 from lairdc/master Checks #263: Commit a70397d pushed by lairdc
1m 14s master
master
1m 14s
Fixing java_rule.rs to include Reduction Rule Classification Checks #262: Pull request #149 synchronize by lairdc
1m 11s lairdc:master
lairdc:master
1m 11s
Fixing java_rule.rs to include Reduction Rule Classification Checks #261: Pull request #149 synchronize by lairdc
1m 11s lairdc:master
lairdc:master
1m 11s