Skip to content

Actions: tirix/metamath-web

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clippy
Rust #7: Commit 436c35c pushed by tirix
October 29, 2023 15:39 2m 14s check-sts
October 29, 2023 15:39 2m 14s
Add check STS option
Rust #6: Pull request #15 opened by tirix
October 29, 2023 15:00 1m 56s check-sts
October 29, 2023 15:00 1m 56s
Add check STS option
Rust #5: Commit 278cf1d pushed by tirix
October 29, 2023 15:00 2m 32s check-sts
October 29, 2023 15:00 2m 32s
Merge pull request #13 from tirix/tirix-patch-1
Rust #4: Commit 9a455b1 pushed by tirix
October 29, 2023 13:11 2m 14s main
October 29, 2023 13:11 2m 14s
Merge pull request #14 from tirix/Turnstile
Rust #3: Commit 90e0193 pushed by tirix
October 29, 2023 13:11 2m 4s main
October 29, 2023 13:11 2m 4s
Fix turnstile symbol and margin for ASCII
Rust #2: Pull request #14 opened by tirix
October 29, 2023 13:09 1m 55s Turnstile
October 29, 2023 13:09 1m 55s
Fix turnstile symbol and margin for ASCII
Rust #1: Commit 682f526 pushed by tirix
October 29, 2023 13:08 1m 50s Turnstile
October 29, 2023 13:08 1m 50s