Skip to content

Actions: forked-from-1kasper/ground_zero

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
115 workflow runs
115 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lemmas CI #111: Commit 3931da5 pushed by forked-from-1kasper
July 29, 2023 11:36 2m 28s master
master
July 29, 2023 11:36 2m 28s
4.6 CI #110: Commit f41f65d pushed by forked-from-1kasper
July 28, 2023 13:41 1m 52s master
master
July 28, 2023 13:41 1m 52s
4.2 CI #109: Commit bcc79ff pushed by forked-from-1kasper
July 28, 2023 06:17 1m 45s master
master
July 28, 2023 06:17 1m 45s
URIs CI #108: Commit 98cd611 pushed by forked-from-1kasper
July 27, 2023 15:46 1m 47s master
master
July 27, 2023 15:46 1m 47s
delete CI #107: Commit cad199f pushed by forked-from-1kasper
July 27, 2023 15:27 1m 51s master
master
July 27, 2023 15:27 1m 51s
? CI #106: Commit 640f597 pushed by forked-from-1kasper
July 27, 2023 15:25 1m 46s master
master
July 27, 2023 15:25 1m 46s
LaTeX CI #105: Commit 72235c3 pushed by forked-from-1kasper
July 27, 2023 15:24 2m 15s master
master
July 27, 2023 15:24 2m 15s
4.5 CI #104: Commit 3991631 pushed by forked-from-1kasper
July 27, 2023 15:13 1m 51s master
master
July 27, 2023 15:13 1m 51s
formatting CI #103: Commit 90deb82 pushed by forked-from-1kasper
July 27, 2023 12:32 1m 43s master
master
July 27, 2023 12:32 1m 43s
4.1 & simple lemma CI #102: Commit e35a436 pushed by forked-from-1kasper
July 27, 2023 12:23 2m 19s master
master
July 27, 2023 12:23 2m 19s
4.2 CI #101: Commit 5184981 pushed by forked-from-1kasper
July 27, 2023 08:44 1m 47s master
master
July 27, 2023 08:44 1m 47s
4.3 CI #100: Commit fbb798f pushed by forked-from-1kasper
July 27, 2023 05:30 1m 45s master
master
July 27, 2023 05:30 1m 45s
4.4 CI #99: Commit 28bb9f0 pushed by forked-from-1kasper
July 26, 2023 15:57 2m 5s master
master
July 26, 2023 15:57 2m 5s
4.7 CI #98: Commit 5c12b50 pushed by forked-from-1kasper
July 26, 2023 10:32 1m 49s master
master
July 26, 2023 10:32 1m 49s
4.8 CI #97: Commit 4bf4162 pushed by forked-from-1kasper
July 26, 2023 08:47 2m 13s master
master
July 26, 2023 08:47 2m 13s