Skip to content

Actions: ProgramCrafter/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update changes-set.txt verifiers #6: Commit 1ee750e pushed by ProgramCrafter
May 16, 2025 16:23 2m 42s my1
my1
May 16, 2025 16:23 2m 42s
some lines lost in changes-set verifiers #5: Commit bd8caec pushed by ProgramCrafter
May 16, 2025 11:33 2m 48s my1
my1
May 16, 2025 11:33 2m 48s
Merge remote-tracking branch 'upstream/develop' into my1 verifiers #4: Commit 14fa91c pushed by ProgramCrafter
May 16, 2025 11:10 3m 32s my1
my1
May 16, 2025 11:10 3m 32s
Style verifiers #3: Commit 2e48d32 pushed by ProgramCrafter
May 16, 2025 11:04 2m 50s my1
my1
May 16, 2025 11:04 2m 50s
Merge branch 'develop' into my1 verifiers #2: Commit f096af8 pushed by tirix
May 6, 2025 10:16 2m 53s my1
my1
May 6, 2025 10:16 2m 53s
Revisited local and global monotonicity verifiers #1: Commit 25c71dc pushed by ProgramCrafter
April 29, 2025 23:31 3m 5s my1
my1
April 29, 2025 23:31 3m 5s