Skip to content

Actions: RipplB/theta

Actions

Check copyright

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-copyright.yml
218 workflow runs
218 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add documentation Check copyright #255: Commit 797b081 pushed by RipplB
December 17, 2024 11:16 29s ltl2
ltl2
December 17, 2024 11:16 29s
Add documentation Check copyright #254: Commit 02d08eb pushed by RipplB
December 14, 2024 17:21 35s ltl2
ltl2
December 14, 2024 17:21 35s
LTL checking capability Check copyright #253: Commit d381042 pushed by RipplB
December 4, 2024 13:17 35s ltl2
ltl2
December 4, 2024 13:17 35s
LTL checking capability Check copyright #252: Commit 84cfdcc pushed by RipplB
December 4, 2024 12:44 32s ltl2
ltl2
December 4, 2024 12:44 32s
LTL checking capability Check copyright #251: Commit f11af4c pushed by RipplB
December 4, 2024 10:44 35s ltl2
ltl2
December 4, 2024 10:44 35s
LTL checking capability Check copyright #250: Commit f35a7e1 pushed by RipplB
December 4, 2024 08:58 31s ltl2
ltl2
December 4, 2024 08:58 31s
LTL checking capability Check copyright #249: Commit 2896980 pushed by RipplB
December 4, 2024 07:37 32s ltl2
ltl2
December 4, 2024 07:37 32s
LTL checking capability Check copyright #248: Commit 65e0190 pushed by RipplB
November 27, 2024 16:06 30s ltl2
ltl2
November 27, 2024 16:06 30s
Merge pull request #325 from ftsrg/fix-memloc Check copyright #247: Commit bd69e1c pushed by RipplB
November 27, 2024 16:00 36s master
master
November 27, 2024 16:00 36s
LTL checking capability Check copyright #246: Commit db342fe pushed by RipplB
November 27, 2024 15:01 34s ltl2
ltl2
November 27, 2024 15:01 34s
LTL checking capability Check copyright #245: Commit 4981f6b pushed by RipplB
November 27, 2024 14:02 32s ltl2
ltl2
November 27, 2024 14:02 32s
LTL checking capability Check copyright #244: Commit 05c2d2d pushed by RipplB
November 20, 2024 12:22 36s ltl2
ltl2
November 20, 2024 12:22 36s
LTL checking capability Check copyright #243: Commit fd6511b pushed by RipplB
November 20, 2024 09:08 33s ltl2
ltl2
November 20, 2024 09:08 33s
LTL checking capability Check copyright #242: Commit dfd9455 pushed by RipplB
November 20, 2024 09:04 32s ltl2
ltl2
November 20, 2024 09:04 32s
LTL checking capability Check copyright #241: Commit abc114c pushed by RipplB
November 20, 2024 08:51 30s ltl2
ltl2
November 20, 2024 08:51 30s
Merge pull request #322 from ftsrg/memsafety Check copyright #240: Commit f8e0617 pushed by RipplB
November 20, 2024 08:49 29s master
master
November 20, 2024 08:49 29s
LTL checking capability Check copyright #239: Commit df2306b pushed by RipplB
November 20, 2024 08:46 35s ltl2
ltl2
November 20, 2024 08:46 35s
LTL checking capability Check copyright #238: Commit 8ece560 pushed by RipplB
November 20, 2024 08:33 34s ltl2
ltl2
November 20, 2024 08:33 34s
LTL checking capability Check copyright #237: Commit 6743461 pushed by RipplB
November 20, 2024 08:15 35s ltl2
ltl2
November 20, 2024 08:15 35s
LTL checking capability Check copyright #236: Commit 0a61fbd pushed by RipplB
November 13, 2024 20:13 1m 11s ltl2
ltl2
November 13, 2024 20:13 1m 11s
Check copyright Check copyright #235: by RipplB
November 12, 2024 14:59 32s ltl2
ltl2
November 12, 2024 14:59 32s
LTL checking Check copyright #234: Commit 6f60d49 pushed by RipplB
November 6, 2024 11:58 38s ltl2
ltl2
November 6, 2024 11:58 38s
LTL checking Check copyright #233: Commit 68275fb pushed by RipplB
November 6, 2024 11:41 31s ltl2
ltl2
November 6, 2024 11:41 31s
Merge pull request #264 from csanadtelbisz/xcfa-oc Check copyright #232: Commit e1a443a pushed by RipplB
November 6, 2024 09:55 35s master
master
November 6, 2024 09:55 35s
LTL checking Check copyright #231: Commit 49035f5 pushed by RipplB
November 6, 2024 00:05 30s ltl2
ltl2
November 6, 2024 00:05 30s