Skip to content

Actions: erikmd/docker-coq-github-action-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: Update README.md misc-test #60: Commit 9f66f0d pushed by erikmd
July 14, 2024 21:02 57s master
master
July 14, 2024 21:02 57s
docs: Update README.md Docker CI #90: Commit 9f66f0d pushed by erikmd
July 14, 2024 21:02 2m 50s master
master
July 14, 2024 21:02 2m 50s
Merge pull request #16 from erikmd/rm-identity-lem Docker CI #89: Commit e3e9829 pushed by erikmd
July 14, 2024 20:47 2m 47s master
master
July 14, 2024 20:47 2m 47s
Merge pull request #16 from erikmd/rm-identity-lem misc-test #59: Commit e3e9829 pushed by erikmd
July 14, 2024 20:47 55s master
master
July 14, 2024 20:47 55s
fix: Remove "Variable A: Prop" & Lemma identity Docker CI #88: Pull request #16 synchronize by erikmd
July 14, 2024 20:40 2m 53s rm-identity-lem
rm-identity-lem
July 14, 2024 20:40 2m 53s
fix: Remove "Variable A: Prop" & Lemma identity misc-test #58: Pull request #16 synchronize by erikmd
July 14, 2024 20:40 53s rm-identity-lem
rm-identity-lem
July 14, 2024 20:40 53s
fix: Remove "Variable A: Prop" & Lemma identity Docker CI #87: Pull request #16 synchronize by erikmd
July 14, 2024 20:35 2m 44s rm-identity-lem
rm-identity-lem
July 14, 2024 20:35 2m 44s
fix: Remove "Variable A: Prop" & Lemma identity misc-test #57: Pull request #16 synchronize by erikmd
July 14, 2024 20:35 53s rm-identity-lem
rm-identity-lem
July 14, 2024 20:35 53s
fix: Remove "Variable A: Prop" & Lemma identity Docker CI #86: Pull request #16 opened by erikmd
July 14, 2024 20:33 2m 51s rm-identity-lem
rm-identity-lem
July 14, 2024 20:33 2m 51s
fix: Remove "Variable A: Prop" & Lemma identity misc-test #56: Pull request #16 opened by erikmd
July 14, 2024 20:33 17s rm-identity-lem
rm-identity-lem
July 14, 2024 20:33 17s