Skip to content

Actions: mCRL2org/mCRL2

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
39 workflow runs
39 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Deploy Developer Webpage Deploy Developer Webpage #11: Manually run by mlaveaux
July 4, 2023 12:39 22m 7s master
master
July 4, 2023 12:39 22m 7s
Fixed the layout of the tool page. Deploy Developer Webpage #10: Commit 8103929 pushed by mlaveaux
July 4, 2023 12:39 5s documentation
documentation
July 4, 2023 12:39 5s
Added our corporate brand identity. Deploy Developer Webpage #9: Commit d31f783 pushed by mlaveaux
July 3, 2023 15:40 5s documentation
documentation
July 3, 2023 15:40 5s
Deploy Developer Webpage Deploy Developer Webpage #8: Manually run by mlaveaux
July 3, 2023 10:11 54m 20s master
master
July 3, 2023 10:11 54m 20s
Merge remote-tracking branch 'upstream/master' into documentation Deploy Developer Webpage #7: Commit 2456522 pushed by mlaveaux
July 3, 2023 10:10 5s documentation
documentation
July 3, 2023 10:10 5s
Deploy Developer Webpage Deploy Developer Webpage #6: Manually run by mlaveaux
June 22, 2023 10:20 37m 41s master
master
June 22, 2023 10:20 37m 41s
Added a test setup using github actions Build and Test (Ubuntu) #10: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:30 3h 43m 2s feature/github-actions
feature/github-actions
June 21, 2023 15:30 3h 43m 2s
Added a test setup using github actions Build and Test (Windows) #10: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:30 6h 57m 3s feature/github-actions
feature/github-actions
June 21, 2023 15:30 6h 57m 3s
Added a test setup using github actions Build and Test (macOS) #10: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:30 2h 52m 10s feature/github-actions
feature/github-actions
June 21, 2023 15:30 2h 52m 10s
Added a test setup using github actions Benchmark (Ubuntu) #7: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:30 7h 24m 58s feature/github-actions
feature/github-actions
June 21, 2023 15:30 7h 24m 58s
Added a test setup using github actions Build and Test (macOS) #9: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 2h 10m 48s feature/github-actions
feature/github-actions
June 21, 2023 15:29 2h 10m 48s
Added a test setup using github actions Benchmark (Ubuntu) #6: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 6h 0m 22s feature/github-actions
feature/github-actions
June 21, 2023 15:29 6h 0m 22s
Added a test setup using github actions Build and Test (Windows) #9: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 6h 32m 57s feature/github-actions
feature/github-actions
June 21, 2023 15:29 6h 32m 57s
Added a test setup using github actions Build and Test (Ubuntu) #9: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 2h 31m 23s feature/github-actions
feature/github-actions
June 21, 2023 15:29 2h 31m 23s
Deploy Developer Webpage Deploy Developer Webpage #5: Manually run by mlaveaux
June 21, 2023 15:29 33m 16s master
master
June 21, 2023 15:29 33m 16s
Added a test setup using github actions Build and Test (Windows) #8: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 6h 0m 34s feature/github-actions
feature/github-actions
June 21, 2023 15:29 6h 0m 34s
Added a test setup using github actions Build and Test (macOS) #8: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 1h 36m 23s feature/github-actions
feature/github-actions
June 21, 2023 15:29 1h 36m 23s
Added a test setup using github actions Benchmark (Ubuntu) #5: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 6h 0m 27s feature/github-actions
feature/github-actions
June 21, 2023 15:29 6h 0m 27s
Added a test setup using github actions Build and Test (Ubuntu) #8: Pull request #1705 synchronize by mlaveaux
June 21, 2023 15:29 2h 48m 25s feature/github-actions
feature/github-actions
June 21, 2023 15:29 2h 48m 25s
Deploy Developer Webpage Deploy Developer Webpage #4: Manually run by mlaveaux
June 21, 2023 15:25 1m 15s master
master
June 21, 2023 15:25 1m 15s
Deploy Developer Webpage Deploy Developer Webpage #3: Manually run by mlaveaux
June 21, 2023 15:04 1m 17s master
master
June 21, 2023 15:04 1m 17s
Deploy Developer Webpage Deploy Developer Webpage #2: Manually run by mlaveaux
June 21, 2023 14:45 57s master
master
June 21, 2023 14:45 57s
Deploy Developer Webpage Deploy Developer Webpage #1: Manually run by mlaveaux
June 21, 2023 13:37 26m 55s master
master
June 21, 2023 13:37 26m 55s
Added a test setup using github actions Benchmark (Ubuntu) #4: Pull request #1705 synchronize by mlaveaux
May 17, 2023 12:06 6h 0m 23s feature/github-actions
feature/github-actions
May 17, 2023 12:06 6h 0m 23s
Added a test setup using github actions Build and Test (Windows) #7: Pull request #1705 synchronize by mlaveaux
May 17, 2023 12:06 6h 30m 51s feature/github-actions
feature/github-actions
May 17, 2023 12:06 6h 30m 51s