Skip to content

Actions: objectionary/proof

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
25 workflow runs
25 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(ci): add final newline to actionlint.yml build #25: Commit 58aa773 pushed by yegor256
1m 41s master
master
1m 41s
actionlint build #24: Commit 2491895 pushed by yegor256
1m 41s master
master
1m 41s
Derive normalization rules from phino as checked data build #23: Pull request #72 synchronize by yegor256
2m 3s rules-as-checked-data
rules-as-checked-data
2m 3s
Derive normalization rules from phino as checked data build #22: Pull request #72 synchronize by yegor256
1m 37s rules-as-checked-data
rules-as-checked-data
1m 37s
Derive normalization rules from phino as checked data build #21: Pull request #72 synchronize by yegor256
1m 34s rules-as-checked-data
rules-as-checked-data
1m 34s
Derive normalization rules from phino as checked data build #20: Pull request #72 synchronize by yegor256
1m 38s rules-as-checked-data
rules-as-checked-data
1m 38s
Derive normalization rules from phino as checked data build #19: Pull request #72 synchronize by yegor256
1m 37s rules-as-checked-data
rules-as-checked-data
1m 37s
Derive normalization rules from phino as checked data build #18: Pull request #72 synchronize by yegor256
1m 54s rules-as-checked-data
rules-as-checked-data
1m 54s
Derive normalization rules from phino as checked data build #17: Pull request #72 synchronize by yegor256
1m 37s rules-as-checked-data
rules-as-checked-data
1m 37s
Derive normalization rules from phino as checked data build #16: Pull request #72 synchronize by yegor256
11s rules-as-checked-data
rules-as-checked-data
11s
Derive normalization rules from phino as checked data build #15: Pull request #72 synchronize by yegor256
12s rules-as-checked-data
rules-as-checked-data
12s
Derive normalization rules from phino as checked data build #14: Pull request #72 synchronize by yegor256
13s rules-as-checked-data
rules-as-checked-data
13s
Derive normalization rules from phino as checked data build #13: Pull request #72 synchronize by yegor256
16s rules-as-checked-data
rules-as-checked-data
16s
Derive normalization rules from phino as checked data build #12: Pull request #72 synchronize by yegor256
1m 32s rules-as-checked-data
rules-as-checked-data
1m 32s
Derive normalization rules from phino as checked data build #11: Pull request #72 opened by yegor256
1m 35s rules-as-checked-data
rules-as-checked-data
1m 35s
Merge pull request #71 from maxonfjvipon/alpha-domain-and-readme build #10: Commit 86585d0 pushed by maxonfjvipon
2m 4s master
master
2m 4s
Confluence proof for the φ-calculus (all 11 rules, axiom-clean, in sync with phino) build #9: Pull request #71 synchronize by maxonfjvipon
1m 35s maxonfjvipon:alpha-domain-and-readme
maxonfjvipon:alpha-domain-and-readme
1m 35s
Refactor README to emphasize Lean 4 normalization proof. build #8: Commit 0aeaa75 pushed by yegor256
1m 13s master
master
1m 13s
Add build and license badges to README. build #7: Commit 66191e0 pushed by yegor256
17s master
master
17s
Confluence proof for the φ-calculus (all 11 rules, axiom-clean, in sync with phino) build #6: Pull request #71 synchronize by maxonfjvipon
1m 56s maxonfjvipon:alpha-domain-and-readme
maxonfjvipon:alpha-domain-and-readme
1m 56s
Confluence proof for the φ-calculus (all 11 rules, axiom-clean, in sync with phino) build #5: Pull request #71 opened by maxonfjvipon
1m 49s maxonfjvipon:alpha-domain-and-readme
maxonfjvipon:alpha-domain-and-readme
1m 49s
Merge pull request #70 from maxonfjvipon/replace-with-phi-confluence build #4: Commit f91b5e6 pushed by maxonfjvipon
9m 36s master
master
9m 36s
Replace deprecated proof with the phino-faithful confluence proof build #3: Pull request #70 synchronize by maxonfjvipon
1m 33s maxonfjvipon:replace-with-phi-confluence
maxonfjvipon:replace-with-phi-confluence
1m 33s
Replace deprecated proof with the phino-faithful confluence proof build #2: Pull request #70 synchronize by maxonfjvipon
1m 15s maxonfjvipon:replace-with-phi-confluence
maxonfjvipon:replace-with-phi-confluence
1m 15s
Replace deprecated proof with the phino-faithful confluence proof build #1: Pull request #70 opened by maxonfjvipon
8m 36s maxonfjvipon:replace-with-phi-confluence
maxonfjvipon:replace-with-phi-confluence
8m 36s