Skip to content

Actions: Bram-Hub/aris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #151 from Bram-Hub/prenex-law-fix Deploy pages #246: Commit b274a4b pushed by etbala
1m 35s master
master
1m 35s
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
pages build and deployment pages-build-deployment #40: by github-pages bot
36s gh-pages
gh-pages
36s
Merge pull request #150 from lairdc/master Checks #265: Commit 0ef7b06 pushed by lairdc
1m 9s master
master
1m 9s
Merge pull request #150 from lairdc/master Deploy pages #245: Commit 0ef7b06 pushed by lairdc
1m 37s master
master
1m 37s
Fixing Integrity Attributes Checks #264: Pull request #150 opened by lairdc
1m 10s lairdc:master
lairdc:master
1m 10s
pages build and deployment pages-build-deployment #39: by github-pages bot
41s gh-pages
gh-pages
41s
Merge pull request #149 from lairdc/master Deploy pages #244: Commit a70397d pushed by lairdc
1m 36s master
master
1m 36s
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
Fixing java_rule.rs to include Reduction Rule Classification Checks #260: Pull request #149 synchronize by lairdc
1m 18s lairdc:master
lairdc:master
1m 18s
Fixing java_rule.rs to include Reduction Rule Classification Checks #259: Pull request #149 synchronize by lairdc
44s lairdc:master
lairdc:master
44s
Fixing java_rule.rs to include Reduction Rule Classification Checks #258: Pull request #149 synchronize by lairdc
52s lairdc:master
lairdc:master
52s
Fixing java_rule.rs to include Reduction Rule Classification Checks #257: Pull request #149 synchronize by lairdc
41s lairdc:master
lairdc:master
41s
Fixing java_rule.rs to include Reduction Rule Classification Checks #256: Pull request #149 synchronize by lairdc
45s lairdc:master
lairdc:master
45s
pages build and deployment pages-build-deployment #38: by github-pages bot
44s gh-pages
gh-pages
44s
Merge pull request #148 from Bram-Hub/revert-147-master Deploy pages #243: Commit 947da03 pushed by lairdc
1m 47s master
master
1m 47s
Merge pull request #148 from Bram-Hub/revert-147-master Checks #255: Commit 947da03 pushed by lairdc
1m 13s master
master
1m 13s
Revert "Adding Reduction Tab & Ability to Comment" Checks #254: Pull request #148 opened by lairdc
1m 9s revert-147-master
revert-147-master
1m 9s