Skip to content

Actions: knowsys/Formale-Systeme-in-LEAN

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
41 workflow runs
41 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade to Lean 4.11.0 .github/workflows/pr.yml #41: Pull request #30 opened by monsterkrampe
September 30, 2024 16:31 8m 48s upgrade-to-lean-4.11.0
upgrade-to-lean-4.11.0
September 30, 2024 16:31 8m 48s
Avoid tactic based definitions .github/workflows/pr.yml #40: Pull request #28 synchronize by monsterkrampe
September 28, 2024 12:19 9m 5s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 12:19 9m 5s
Avoid tactic based definitions .github/workflows/pr.yml #39: Pull request #28 synchronize by monsterkrampe
September 28, 2024 12:14 9m 7s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 12:14 9m 7s
Avoid tactic based definitions .github/workflows/pr.yml #38: Pull request #28 synchronize by monsterkrampe
September 28, 2024 11:57 8m 52s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 11:57 8m 52s
Avoid tactic based definitions .github/workflows/pr.yml #37: Pull request #28 synchronize by monsterkrampe
September 28, 2024 10:26 8m 50s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 10:26 8m 50s
Avoid tactic based definitions .github/workflows/pr.yml #36: Pull request #28 synchronize by monsterkrampe
September 28, 2024 10:06 9m 2s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 10:06 9m 2s
Avoid tactic based definitions .github/workflows/pr.yml #35: Pull request #28 synchronize by monsterkrampe
September 28, 2024 10:05 8m 48s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 28, 2024 10:05 8m 48s
Avoid tactic based definitions .github/workflows/pr.yml #34: Pull request #28 synchronize by monsterkrampe
September 27, 2024 13:03 9m 10s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 27, 2024 13:03 9m 10s
Avoid tactic based definitions .github/workflows/pr.yml #33: Pull request #28 synchronize by monsterkrampe
September 26, 2024 07:18 10m 12s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 26, 2024 07:18 10m 12s
Avoid tactic based definitions .github/workflows/pr.yml #32: Pull request #28 synchronize by monsterkrampe
September 25, 2024 15:25 9m 42s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 25, 2024 15:25 9m 42s
Avoid tactic based definitions .github/workflows/pr.yml #31: Pull request #28 synchronize by monsterkrampe
September 25, 2024 09:05 9m 12s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 25, 2024 09:05 9m 12s
Avoid tactic based definitions .github/workflows/pr.yml #30: Pull request #28 opened by monsterkrampe
September 25, 2024 07:28 9m 0s avoid-tactic-based-definitions
avoid-tactic-based-definitions
September 25, 2024 07:28 9m 0s
Leos work on context free grammars .github/workflows/pr.yml #29: Pull request #25 synchronize by monsterkrampe
September 16, 2024 06:35 9m 9s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
September 16, 2024 06:35 9m 9s
Leos work on context free grammars .github/workflows/pr.yml #28: Pull request #25 synchronize by monsterkrampe
September 3, 2024 07:15 9m 9s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
September 3, 2024 07:15 9m 9s
Leos work on context free grammars .github/workflows/pr.yml #27: Pull request #25 synchronize by monsterkrampe
September 2, 2024 15:46 8m 53s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
September 2, 2024 15:46 8m 53s
Leos work on context free grammars .github/workflows/pr.yml #26: Pull request #25 synchronize by monsterkrampe
September 2, 2024 15:06 8m 57s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
September 2, 2024 15:06 8m 57s
Leos work on context free grammars .github/workflows/pr.yml #25: Pull request #25 synchronize by monsterkrampe
August 29, 2024 10:04 8m 51s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
August 29, 2024 10:04 8m 51s
Leos work on context free grammars .github/workflows/pr.yml #24: Pull request #25 synchronize by monsterkrampe
August 29, 2024 08:37 8m 56s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
August 29, 2024 08:37 8m 56s
Leos work on context free grammars .github/workflows/pr.yml #23: Pull request #25 opened by monsterkrampe
August 23, 2024 05:44 9m 6s leos-work-on-context-free-grammars
leos-work-on-context-free-grammars
August 23, 2024 05:44 9m 6s
Upgrade to Lean (and mathlib) 4.7.0 .github/workflows/pr.yml #22: Pull request #24 synchronize by matzemathics
April 19, 2024 14:18 9m 25s upgrade-to-lean-4.7.0
upgrade-to-lean-4.7.0
April 19, 2024 14:18 9m 25s
Upgrade to Lean (and mathlib) 4.7.0 .github/workflows/pr.yml #21: Pull request #24 opened by monsterkrampe
April 19, 2024 06:32 8m 36s upgrade-to-lean-4.7.0
upgrade-to-lean-4.7.0
April 19, 2024 06:32 8m 36s
Upgrade to Lean 4.6.1 .github/workflows/pr.yml #20: Pull request #23 opened by monsterkrampe
March 8, 2024 09:10 8m 38s upgrade-to-lean-4.6.1
upgrade-to-lean-4.6.1
March 8, 2024 09:10 8m 38s
Rename N/DFA GeneratedLanguage to AcceptedLanguage .github/workflows/pr.yml #19: Pull request #22 opened by monsterkrampe
March 8, 2024 08:38 8m 52s rename-automata-generated-language-to-accepted-language
rename-automata-generated-language-to-accepted-language
March 8, 2024 08:38 8m 52s
Update Mathlib Note in README.md .github/workflows/pr.yml #18: Pull request #21 opened by monsterkrampe
February 19, 2024 07:03 8m 47s update-mathlib-note-in-readme
update-mathlib-note-in-readme
February 19, 2024 07:03 8m 47s
Upgrade Lean to v4.5.0 .github/workflows/pr.yml #17: Pull request #20 opened by monsterkrampe
February 2, 2024 07:22 8m 44s upgrade-to-4.5.0
upgrade-to-4.5.0
February 2, 2024 07:22 8m 44s