Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,663 workflow runs
3,663 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Auto-generate progress badge to add to the readme (#228) Compile blueprint #741: Commit e5d4241 pushed by teorth
October 3, 2024 14:16 In progress main
main
October 3, 2024 14:16 In progress
Auto-generate progress badge to add to the readme (#228) Lint Style #753: Commit e5d4241 pushed by teorth
October 3, 2024 14:16 12s main
main
October 3, 2024 14:16 12s
remove reflexivity handling from outcomes_to_image.py (#227) Lint Style #752: Commit 2077ebf pushed by teorth
October 3, 2024 14:15 13s main
main
October 3, 2024 14:15 13s
remove reflexivity handling from outcomes_to_image.py (#227) Compile blueprint #740: Commit 2077ebf pushed by teorth
October 3, 2024 14:15 43s main
main
October 3, 2024 14:15 43s
graphviz tool updates and new graphs (#226) Compile blueprint #739: Commit 4f7ebef pushed by teorth
October 3, 2024 14:15 27s main
main
October 3, 2024 14:15 27s
graphviz tool updates and new graphs (#226) Lint Style #751: Commit 4f7ebef pushed by teorth
October 3, 2024 14:15 10s main
main
October 3, 2024 14:15 10s
EquationSearch: Better search, better expression matching (#225) Compile blueprint #738: Commit 0f89900 pushed by teorth
October 3, 2024 14:14 54s main
main
October 3, 2024 14:14 54s
EquationSearch: Better search, better expression matching (#225) Lint Style #750: Commit 0f89900 pushed by teorth
October 3, 2024 14:14 18s main
main
October 3, 2024 14:14 18s
All4x4Tables: add 5x5 cancellative magmas (#224) Lint Style #749: Commit 02bf779 pushed by teorth
October 3, 2024 14:14 18s main
main
October 3, 2024 14:14 18s
All4x4Tables: add 5x5 cancellative magmas (#224) Compile blueprint #737: Commit 02bf779 pushed by teorth
October 3, 2024 14:14 50s main
main
October 3, 2024 14:14 50s
FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. Disclaim Issue #49: Issue comment #209 (comment) created by teorth
October 3, 2024 14:12 2s
October 3, 2024 14:12 2s
FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. Withdraw PR #49: Issue comment #209 (comment) created by teorth
October 3, 2024 14:12 2s
October 3, 2024 14:12 2s
FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. Awaiting Review #49: Issue comment #209 (comment) created by teorth
October 3, 2024 14:12 3s
October 3, 2024 14:12 3s
FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. Propose PR #49: Issue comment #209 (comment) created by teorth
October 3, 2024 14:12 2s
October 3, 2024 14:12 2s
FRONTEND: A web tool that, when input an equation number, lists all equations known or conjectured to imply it, and all equations that it is known or conjectured to imply. Claim Issue #49: Issue comment #209 (comment) created by teorth
October 3, 2024 14:12 2s
October 3, 2024 14:12 2s
Use Vampire to resolve almost all unknown implications (without proof) Lint Style #748: Pull request #230 synchronize by Command-Master
October 3, 2024 13:53 16s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:53 16s
Use Vampire to resolve almost all unknown implications (without proof) Compile blueprint #736: Pull request #230 synchronize by Command-Master
October 3, 2024 13:53 In progress Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:53 In progress
Use Vampire to resolve almost all unknown implications (without proof) Compile blueprint #735: Pull request #230 synchronize by Command-Master
October 3, 2024 13:49 3m 43s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:49 3m 43s
Use Vampire to resolve almost all unknown implications (without proof) Lint Style #747: Pull request #230 synchronize by Command-Master
October 3, 2024 13:49 10s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:49 10s
Use Vampire to resolve almost all unknown implications (without proof) Compile blueprint #734: Pull request #230 synchronize by Command-Master
October 3, 2024 13:49 36s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:49 36s
Use Vampire to resolve almost all unknown implications (without proof) Lint Style #746: Pull request #230 synchronize by Command-Master
October 3, 2024 13:49 18s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:49 18s
Use Vampire to resolve almost all unknown implications (without proof) Compile blueprint #733: Pull request #230 opened by Command-Master
October 3, 2024 13:48 27s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:48 27s
Use Vampire to resolve almost all unknown implications (without proof) Lint Style #745: Pull request #230 opened by Command-Master
October 3, 2024 13:48 12s Command-Master:CM_vampire2
Command-Master:CM_vampire2
October 3, 2024 13:48 12s
fix error in Ruby scripts by addding require 'set' Compile blueprint #732: Pull request #229 opened by lyphyser
October 3, 2024 12:59 Action required lyphyser:patch-1
lyphyser:patch-1
October 3, 2024 12:59 Action required
fix error in Ruby scripts by addding require 'set' Lint Style #744: Pull request #229 opened by lyphyser
October 3, 2024 12:59 Action required lyphyser:patch-1
lyphyser:patch-1
October 3, 2024 12:59 Action required